数学におけるAI革命が到来した

記事

• AlphaEvolveのようなAIシステムが、未解決の数学的問題で実質的な成果を上げている
• モデルは「ポジティブな強化」プロンプト（「あなたならできる」のような励まし）から恩恵を受け、出力の質が向上する
• 研究者はAIを使って予想を探索し、部分的な証明を検証し、可視化を生成している

ディスカッション

• 懐疑派：数学とは理解と言語の営みであり、単に問題を解くことではない。AIはその本質を捉えていない
• 実用的なユーモア：あるコメント投稿者は、学会出張の手配をしてコーヒーメーカーを直してくれるAIが欲しいと述べている
• 反論：数学は自動検証が可能な分野であり、外部フィードバックなしで完結できるため、AIに最も適している
• 批判：AIはいまだに誤った証明を生成することがある。人間が検証し、正しい部分をフィードバックとして返す必要がある

HN でディスカッションを読む

原文（英語）: The AI revolution in math has arrived