CLAUDE DID MATH
Formalizing Fermat's Last Theorem
🟣 DID MATH
FORMALIZED
Math
CLAIM STATUS · PUBLISHED
\ Anthropic Skip to main content Skip to footer Research Policy Commitments Learn News Try Claude Science
🧠 CLAUDE
🟣 DID MATH
Formalizing Fermat's Last Theorem
7 days since last result
Official posts only. We do not say they solved it. We say they published a claim.
WHAT GOT PUBLISHED
CLAUDE DID SCIENCE
How Claude is accelerating protein design and analytical chemistry
🔵 DISCOVERY
DISCOVERY
Biology / Chemistry
CLAIM STATUS · PUBLISHED
Aug 18, 2026 Summary: In this post, we share two results that show how Claude can help life scientists increase the pace of their research. In the first, we tested Claude’s ability to design protein binders from scratch, a key task representative of the early parts of the drug design process and one that has historically taken a specialist weeks or months per target. Claude (Mythos Preview and Opus 4.8) designed protein binders against 15 targets, and succeeded against 14 of them. Between 22% and 35% of its individual designs bound successfully, depending on the setup, compared to the 10-15%
CLAUDE DID MATH
Learning more about Claude's mathematical capabilities
🟠 NEW RESULT
NEW RESULT
Math
CLAIM STATUS · PUBLISHED
Aug 10, 2026 Recently, a member of staff at Anthropic gave Claude an unreasonable challenge. It was about one of the most famous unsolved problems in mathematics: Take a real stab at the Riemann hypothesis . Claude did take a real stab, but as you might have expected if you’re familiar with the difficulty of the task (the Riemann hypothesis dates back to 1859 and has a million-dollar bounty ), it didn’t succeed. Nevertheless, during its attempt, it unexpectedly made strides on a related problem. An unreleased research version of Claude has improved on a longstanding lower bound for the fracti