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

AnthropicのClaudeは11日間ほぼ自律的に作業し、Leanプログラミング言語でフェルマーの最終定理の証明を形式化し…

…AI支援数学研究における重要なマイルストーンとなった。

AI生成:要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について

AI生成出典: Techmeme
01

ソース要約

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

02