3年前、AIは2つの数を足せなかった。1年前、Open AIとDeep MindのモデルはIMOで金メダルレベルを獲得した。今や彼らは主要な未解決問題を自律的に解決する。この傾向は続く可能性が高く、数学の根本的な再考が必要だ。

「数学の終焉」と題する講演は、AIが超人的である一方で制度が人間の理解を妨げる暗い未来を警告した。学術数学が適応すれば回避できると私は信じる。

目標について合意はない：問題を解く、遊ぶ、プラトン的領域を貫く、数学への愛を伝える。私の答え：高品質の数学を生み出し理解すること、そして高品質の数学者を生み出すこと。

我々は定理の証明を通じて目標を運用化する。しかしそれが目標なら、自動化は些細なことだ—コンピュータはZFCの証明を列挙できる。目標は定理を証明することではなく、理解することだ。

主要エンティティ：企業：Open AI、Deep Mind

FAQ：AIはどのくらいで数学で超人的になるか？

最近の進歩—基礎算術の失敗から1年でIMO金メダル性能まで—に基づくと、数学のほとんどの側面で堅牢に超人的なAIがまもなく到来するかもしれない。

FAQ Q：AIはどのくらいで数学で超人的になるか？

FAQ A：最近の進歩—基礎算術の失敗から1年でIMO金メダル性能まで—に基づくと、数学のほとんどの側面で堅牢に超人的なAIがまもなく到来するかもしれない。