Skip to content
AIインテリジェンスSep 4, 2026Video
記事

AnthropicのClaudeは、Leanプログラミング言語でフェルマーの最終定理の証明を形式化するために、ほぼ自律的に11日間作業し、AI支援による数学研究における重要なマイルストーンとなった。

Data Cube AI 編集部出典: AI Explained
01

ソース要約

AnthropicのClaudeは、Leanプログラミング言語でフェルマーの最終定理の証明を形式化するために、ほぼ自律的に11日間作業し、AI支援による数学研究における重要なマイルストーンとなった。