Anthropic、
Anthropic Research要
AI要約
3行で- Anthropic がフェルマーの最終定理の形式証明を公開しました。
- Claude が 11日間で Lean 向けに書き上げました。
- 証明は 1,300 万行の Lean コードです。
AI要約です。詳しくは出典へ。誤りを報告
Karunews が選んだ理由AI が数学の証明を自動形式化した事例として、検証負担の軽減という研究現場への影響を考える材料になります。
典
出典
1ソース · 一次情報Anthropic Research一次Formalizing Fermat's Last Theoremanthropic.com