PulseAugur
中
实时 18:16:39
English(EN) 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 在 11 天内正式化费马大定理，创建可机器校验的证明 · 跟踪 4 个来源

作者 PulseAugur 编辑部 · [4 个来源] ·

Anthropic 的 AI 模型 Claude 在短短 11 天内成功正式化了费马大定理，这项任务人类数学家估计需要五年时间。该 AI 生成了约 1300 万行 Lean 代码，创建了该定理第一个完全可机器校验的证明。虽然 Claude 并未发现新的证明，但其工作显著加速了验证复杂数学推理的过程，可能为 AI 协助正式化未来研究铺平道路。 AI

影响 加速复杂数学证明的正式化，可能使 AI 能够协助验证未来的研究。

排序理由 AI 模型完成了对一个主要数学定理的正式化，这项任务此前估计需要人类数学家数年时间。

在 Mastodon — mastodon.social 阅读 →

AI 生成摘要 · Google Gemini · 来自 4 个来源。 我们如何撰写摘要 →

Claude AI 在 11 天内正式化费马大定理，创建可机器校验的证明 · 跟踪 4 个来源

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Research
AI 模型完成了对一个主要数学定理的正式化，这项任务此前估计需要人类数学家数年时间。
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
31 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [4]

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

    Claude 在 11 天内以 60 亿个输出 token 正式化了费马大定理

    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 11天证明费马大定理，人类曾耗时5年

    <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 在 11 天内正式化了费马大定理——并非重新发现证明，而是使现有证明可机器校验 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…

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

    Claude 在 11 天内正式化费马大定理，用 1300 万行 Lean 代码完成了首个完全由机器验证的证明 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/

相关实体

相关话题