Anthropic says Claude worked “largely autonomously” over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language
Anthropic says Claude worked “largely autonomously” over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language
We are sharing the first complete computer-checked proof of Fermat's Last Theorem. Claude worked largely autonomously over 11 days …
Anthropic says Claude worked “largely autonomously” over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language
We are sharing the first complete computer-checked proof of Fermat's Last Theorem. Claude worked largely autonomously over 11 days …
Claude, ChatGPT, and Grok are now operational after widespread outages on Thursday
Anthropic releases findings from a pilot that let external researchers run studies on Claude usage; one study found users delegate high-stakes tasks
Earlier this year, we ran a pilot giving external researchers access to aggregate, real-world Claude usage data.
Anthropic gives Claude Cowork its own built-in browser on the desktop app separate from users' day-to-day browser, rolling out to paying subscribers
Anthropic added a built-in browser to Claude's Cowork desktop app, ending the need for the Chrome extension for many web tasks.
Anthropic merges the memory systems for Claude chat and Claude Cowork, making Claude chat history available to Cowork unless users opt out
ZDNET's key takeaways — Claude chat and Cowork now share one memory system. — Memory updates as you chat, with sensitive-data controls.
Anthropic merges the memory systems for Claude chat and Claude Cowork, making Claude chat history available to Cowork unless users opt out
ZDNET's key takeaways — Claude chat and Cowork now share one memory system. — Memory updates as you chat, with sensitive-data controls.
Anthropic details two experiments showing how Claude can accelerate protein design and chemical analysis, and says it'll launch an access program for scientists
Summary: In this post, we share two results that show how Claude can help life scientists increase the pace of their research.
Anthropic details Claude's text watermark: it only shows Claude was likely involved, is sparse in code and factual text, and disappears after a full rewrite
Future Claude models will generate text that contains a watermark. This is a way of determining the likelihood that Claude …