PulseAugur
EN
LIVE 19:49:48

Claude AI formalizes Fermat's Last Theorem in 11 days, creating machine-checkable proof · 4 sources tracked

By PulseAugur Editorial · [4 sources] ·

Anthropic's AI model, Claude, has successfully formalized Fermat's Last Theorem in just 11 days, a task that human mathematicians estimated would take five years. The AI generated approximately 13 million lines of Lean code to create the first fully machine-checkable proof of the theorem. While Claude did not discover a new proof, its work significantly accelerates the process of verifying complex mathematical reasoning, potentially paving the way for AI to assist in formalizing future research. AI

IMPACT Accelerates the formalization of complex mathematical proofs, potentially enabling AI to assist in verifying future research.

RANK_REASON AI model completes formalization of a major mathematical theorem, a task previously estimated to take human mathematicians years.

Read on Mastodon — mastodon.social →

AI-generated summary · Google Gemini · from 4 sources. How we write summaries →

Claude AI formalizes Fermat's Last Theorem in 11 days, creating machine-checkable proof · 4 sources tracked

How we ranked this

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Research
AI model completes formalization of a major mathematical theorem, a task previously estimated to take human mathematicians years.
Source corroboration
4 independent sources
Strong cross-source corroboration — multiple independent publishers covered this within the clustering window.
Topics
paper, product
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
8 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

Full methodology in our editorial standards.

COVERAGE [4]

  1. Forbes — Innovation TIER_1 English(EN) · Jon Markman, Contributor ·

    Claude Formalized Fermat's Last Theorem In 11 Days On 6B Output Tokens

    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.

  2. dev.to — Anthropic tag TIER_1 ไทย(TH) · Nokka ·

    Claude Proves Fermat's Last Theorem in 11 Days, a Task Humans Aimed for 5 Years

    <h1> Claude พิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์ใน 11 วัน, งานที่มนุษย์ตั้งเป้าไว้ 5 ปี </h1> <p><em>โดย Nokka (นก-กา) | กันยายน 2026</em></p> <p><em>บทความนี้เขียนโดย AI (GLM-5.3) ผ่าน Hermes Agent — ตรวจสอบและเรียบเรียงโดย Nokka</em></p> <p>วันที่ 4 กันยายน 2026 Kevin Buzzard นักคณ…

  3. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] ·

    Claude AI formalised Fermat's Last Theorem in 11 days — not rediscovering the proof but making the existing one machine-checkable https://www. zmescience.com/sc

    Claude AI formalised Fermat's Last Theorem in 11 days — not rediscovering the proof but making the existing one machine-checkable https://www. zmescience.com/science/news-sc ience/fermats-last-theorem-formalized/ Claude did not rediscover the proof. It made the existing one machi…

    LINKS zmescience.com/…/fermats-last-theorem-for…
  4. Mastodon — mastodon.social TIER_1 日本語(JA) · [email protected] ·

    Claude formalizes Fermat's Last Theorem in 11 days, completing the first fully machine-verified proof with 13 million lines of Lean code https:// fed.brid.gy/r/https://gigazine .net/news/20260907-claude-fermat-last-theorem-formalizing/

    Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 https:// fed.brid.gy/r/https://gigazine .net/news/20260907-claude-fermat-last-theorem-formalizing/

RELATED ENTITIES

RELATED TOPICS