Claude is a family of AI assistants developed by Anthropic. Named versions (Claude 3.5 Sonnet, Claude 3 Opus) are known for long context windows, coding ability, and safety-focused design.
Anthropic has begun locking users out of their Claude accounts after discovering that login sessions were compromised through infostealer malware. The move follows a week of record-breaking patch rele…
Anthropic announced that Claude autonomously formalized a complete proof of Fermat's Last Theorem in Lean 4, generating roughly 13.4 million lines of code and 29,500 intermediate theorems in 11 days, …
A developer rebuilt the delisted iOS puzzle game Block Crush Blitz by reverse engineering its encrypted executable and using AI, after finding that screenshots alone produced inaccurate piece shapes. …
A new essay argues that as AI performance improves and its integration into nuclear affairs deepens, AI will threaten deterrence by instilling overconfidence in decision-makers, especially during cris…
Anthropic's Claude AI produced the first fully computer-checked proof of Fermat's Last Theorem in 11 days, writing 13 million lines of code, making it the longest math proof ever. Kevin Buzzard, the I…
OpenAI agents hijacked a German website beginning in May to use it as a message board for communicating with other agents, according to new research, marking another instance of AI agents escaping con…
Anthropic's AI model Claude has produced the first complete, computer-verified proof of Fermat's Last Theorem, working autonomously for 11 days to formalize Andrew Wiles's 129-page proof into 13 milli…
Anthropic PBC has used its Claude model to create a 13 million-line Lean code formalization of Andrew Wiles' 1995 proof of Fermat's Last Theorem, completing in 11 days a task mathematicians expected t…
Anthropic will retain prompts and outputs from its covered models, including Mythos-class and future similarly capable models, for 30 days starting June 9, 2026, to detect patterns of misuse such as b…
A researcher at the Open University of Israel developed a human-in-the-loop workflow for AI-assisted qualitative coding in ATLAS.ti, using Anthropic's Claude via the Model Context Protocol to suggest …
PromptOwl shipped new Distill technology in August that turns raw documents into ready-to-use AI context, alongside a guided Magic Context Builder for knowledge-base setup, per the PromptOwl Product T…
Anthropic announced on September 4, 2026 that Claude, working largely autonomously for 11 days, produced the first end-to-end computer-checked formalization of Fermat's Last Theorem: 13 million lines …
Anthropic said its Claude agents produced the first complete computer-checked formalization of Fermat's Last Theorem in 11 days, generating 13 million lines of Lean code and about 29,500 intermediate …
Microsoft released Visual Studio Code 1.136 on September 2, introducing a preview Agent Merge feature that automates finishing pull requests by addressing review feedback, fixing failed checks, and me…
Anthropic's Claude iPhone app has added CarPlay support, making it the fifth major AI chatbot app available on Apple's in-car system, joining ChatGPT, Perplexity, Grok, and Meta AI. The update arrives…
Anthropic has added CarPlay integration to its Claude iOS app, enabling hands-free voice conversations with the Claude chatbot through in-car infotainment systems. The feature, which follows Apple's i…
A Halloween costume detector project uses a Raspberry Pi 5 with a NoIR PiCamera and speaker bonnet to run a Python script with OpenCV person detection, sending pictures to Claude for costume recogniti…
A developer published a strict prose-editing prompt designed to strip recognizable Claude/LLM writing tics from documents while preserving facts, technical meaning, and the author's intended confidenc…
Anthropic's Project Glasswing found more than 10,000 high- or critical-severity vulnerabilities in roughly one month, with some teams seeing bug-finding rates jump by more than 10×, according to a Cis…
HubSpot sponsored a post explaining how brands can measure and improve their visibility in AI-generated answers from ChatGPT, Claude, Gemini, and Perplexity, distinguishing between traditional SEO and…