OpenAI の数学的ブレイクスルーが AI の強みを発揮

先週、OpenAI は内部の AI モデルが、80 年にわたり人間の数学者たちを悩ませてきた離散幾何学の有名な問題であるエルデシュ単位距離予想を反証したと発表した。 OpenAI は数人の中堅数学者に結果への早期アクセス権を与え、その反応を発表した。数学界で最も権威ある賞であるフィールズ賞を受賞したティム・ガウワーズは、「単位距離問題の解決が AI 数学におけるマイルストーンであることに疑いの余地はない」と記述した。 トロント大学のダニエル・リット教授は、「これは、単なる先行指標としてではなく、それ自体が興奮を覚えるほどに AI が自律的に生み出した結果の最初の例だ」と書き残している。 おそらく、AI システムが主要な未解決予想に対する証明を見つけたのはこれが初めてだろう。これは印象的だが、私はこれを数学における AI の進歩のこれまでの軌道からの劇的な転換点とは見ない。 3 年前、大規模言語モデル（LLM）は算数問題の解決に苦労していた。LLM が高校レベルの数学コンテストで好成績を収し始めたのは、つい去年のことだ。 1 月に世界最大の年次数学会議である合同数学会議に参加した際、AI システムが数学研究への貢献を開始しつつあることを学んだが、それは制約された環境下でのことだった。AI の出力を実際に出版可能な定理へと変換するには、相当な人間の解釈が必要であった。 Op