Claudeが11日間でフェルマーの最終定理を形式化検証：清華大学出身者が主導
Google News (Anthropic) ・ 2026-09-05
原題: Claude、11日間でフェルマーの最終定理を形式化検証、清華大学姚班出身者が主導 - BigGo ファイナンス
AI による要約
AnthropicのClaudeが、数学者フェルマーの最終定理を11日間で形式化検証に成功。清華大学出身の研究者が主導したプロジェクトで、数学の証明プロセスにAIが果たす可能性を示す成果となる。
この要約は当サイトの AI が生成したものです。正確な内容は 元記事（Google News (Anthropic)）をご確認ください。