AIインテリジェンスSep 4, 2026Video
記事
AnthropicのClaudeは、Leanプログラミング言語でフェルマーの最終定理の証明を形式化するために、ほぼ自律的に11日間作業し、AI支援による数学研究における重要なマイルストーンとなった。
Data Cube AI 編集部出典: AI Explained
01
ソース要約
AnthropicのClaudeは、Leanプログラミング言語でフェルマーの最終定理の証明を形式化するために、ほぼ自律的に11日間作業し、AI支援による数学研究における重要なマイルストーンとなった。
02