数学者が、現在のAIの数学における真の能力に疑問を呈し、既存のAIモデルは単なる鸚鵡返しであり、数学を真に理解しているわけではないと主張しています。この仮説を検証するために、彼は実験を開始します。高度な数論の問題を含むデータベースを作成し、AI企業にそのモデルを使って解くように依頼します。解答は非負の整数に限定され、AIが真の数学的推論能力を持っているのか、それとも単にパターンマッチングとインターネットデータに頼っているだけなのかを評価することを目的としています。この実験は、AIの「理解」と「模倣」を区別し、AIの数学的能力に関するより深い評価を促すことを目指しています。
続きを読む
OpenAIの新しい言語モデルo3は、FrontierMathデータセットで25％の精度を達成し、AIの数学的能力に関する数学コミュニティでの議論を巻き起こしました。FrontierMathは、定理の証明ではなく、特定の数値の計算を必要とする数百の複雑な数学問題を含む秘密のデータセットです。o3のパフォーマンスは驚くべきもので、数学オリンピックや学部レベルの問題しか解けなかったAIの以前の限界を超えています。データセットの難易度とサンプルの代表性については議論の余地がありますが、この成果は、AIが数学において大きな進歩を遂げたことを示しており、AIの将来の発展と数学研究の方向性について考えるきっかけとなっています。
続きを読む
あるチームがLeanを用いてフェルマーの最終定理の証明を試み、予期せぬ課題に直面しています。元の証明に頼るのではなく、より現代的で一般化されたアプローチを用いています。結晶コホモロジーを形式化している際に、重要な補題に誤りがあることを発見し、理論の基礎の再検討へとつながりました。最終的に、別の証明を用いて解決策を見つけました。この経験は、現代数学文献における潜在的な誤りを浮き彫りにし、形式化された証明の必要性を強調しています。
続きを読む