PulseAugur
中
实时 16:01:02
English(EN) Anthropic says ~1,000 Claude Fable 5.2 agents formalized Fermat's Last Theorem in Lean in 30 hours (first run in September took 11 days)

Claude Fable 5.2 智能体用 30 小时形式化费马大定理

Anthropic 报告称,约 1,000 个运行 Claude Fable 5.2 的智能体在 30 小时内成功使用 Lean 证明助手形式化了费马大定理。这比 9 月份的一次早期尝试有了显著改进,当时耗时 11 天并使用了更多的计算资源。这些智能体几乎不需要人工干预,从基本提示开始,并根据中间定理陈述进行推进。虽然这次形式化没有提出新的数学内容,但它展示了验证已知证明过程的显著加速。 AI

影响 展示了 AI 在执行复杂形式推理和验证任务方面的能力显著加速。

排序理由 涉及 AI 模型形式化复杂数学定理的研究里程碑。[lever_c_demoted from research: ic=1 ai=1.0]

在 r/ClaudeAI 阅读 →

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

Claude Fable 5.2 智能体用 30 小时形式化费马大定理

本文如何被排名

Signal score
15 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Tool
涉及 AI 模型形式化复杂数学定理的研究里程碑。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration
Single-source cluster
Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics
model release, 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
Breaking (< 6h)
Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

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

报道来源 [1]

  1. r/ClaudeAI TIER_2 English(EN) · /u/Antoine_mllt ·

    Anthropic表示,约1000个Claude Fable 5.2智能体用了30小时在Lean中形式化了费马大定理(9月首次运行时耗时11天)

    <table> <tr><td> <a href="https://www.reddit.com/r/ClaudeAI/comments/1xuf60h/anthropic_says_1000_claude_fable_52_agents/"> <img alt="Anthropic says ~1,000 Claude Fable 5.2 agents formalized Fermat's Last Theorem in Lean in 30 hours (first run in September took 11 days)" src="http…