人工知能は数学分野での進展速度が外部の認識を刷新している。最近、OpenAIは722もの数学的な問題の証明原稿を一度に公開した。これらの成果は17の異なる数学分野にまたがり、全体的な問題解決コストはこれまでよりも大幅に低く、数学界で大きな衝撃を与えている。

技術と応用の観点から見ると、AIによって生成されたこれらの証明は機械による厳密な検証を通過できるが、実際の転換面では明らかに課題が露呈している。多くの証明は人間にとって理解しやすい知識に変換するのが難しいだけでなく、単一の記号の間違いにより複数の関連する結論が一斉に破綻する「失敗」が発生することもあった。

この進展は学術界において研究生態の深い懸念を引き起こした。数学者たちは、AIが非常に高い効率で大量の証明を一括して生成するとき、その後の膨大な整理・検証および解釈の作業がすべて人間の研究者の肩にのしかかっていると指摘している。さらに核心的な問題は、現在のAIが主に既存の知識を呼び出して論理的組み合わせによって問題を解いているため、数学研究における最も重要な新しい考えやツールを真正に育て出すことが難しいということである。

業界の専門家は、このまま続けば、人間が関連する解釈作業を行う動機が次第に減衰し、最終的には人間と機械の間に越えられない理解の壁ができてしまうことを懸念している。このような傾向は、人類文明の深層的な発展を閉じ込めてしまう可能性があり、科学が根本的な理解を目指す本質をある意味で逸脱してしまうことにもつながる。