Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens

This story is from 2026-09-07. It is preserved in the archive; the latest stories are on the live feed.

Anthropic's Claude recently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims to complete over five years.

Read the full story at Forbes AI ↗

Timeline · 1 report

2026-09-07 13:35 · Forbes AI
Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens

More stories

AI skills — r/AI_Agents
AI's role in building AI surging? Anthropic says Claude now leads 26% of its R&D — Mint AI
Claude, Anthropic’s AI model, is helping to develop the next version of itself — Fast Company AI
we made a 27b model for creative writing. performs as good as claude fable 5, at a 40x cheaper price, open weights. — r/GeminiAI
Anthropic selects Accenture as first embedded evaluator to help implement Amodei's slowdown proposal — CNBC Technology
Bolt Adds DeepSeek V4.1 Flash at 10x Cheaper Than V4 Pro — AlphaSignal
OpenAI ‘ethically hacked’ with help of Anthropic’s Claude chatbot — The Guardian AI
How To Use Ai and create those videos — r/aivideo

Get the daily brief of stories like this at 6:30 every morning →