AINewsnow

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days

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

Coverage of "Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days" from 3 sources, with a live timeline of who reported what and when.

Read the full story at Nature — Machine Learning ↗

Timeline · 3 reports

  1. 2026-09-07 13:35 · Forbes AI
    Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens
  2. 2026-09-07 00:00 · Nature — Machine Learning
    Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
  3. 2026-09-05 00:41 · SiliconANGLE AI
    Anthropic uses Claude to formalize proof of Fermat’s Last Theorem

More stories

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

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