OpenAIは最近、長年未解決だった数学の問題に対するAI生成の解答を含む論文722本を公開した。論文は先週、一般に公開された。数学者らは、これだけ多くの成果を検証するには何年もかかる可能性があると述べている。また、明確な論証がないため、研究を発展させにくいとの懸念も示している。
数学界が懸念する理由
証明を作成したAIモデルの名称は明らかにされていないが、すでに主張の妥当性を検証しようとする研究者が出ている。専門家は、プロンプトから最終的な答えに飛躍し、その間の手順を示さない解答では、得られる知見がほとんどないと指摘する。どのように結論に至ったのか分からなければ、研究者は新たな理論を発展させたり、その成果を今後の研究の土台にしたりできない。
なぜ重要か
数学研究を頼りにする学生、エンジニア、科学者にとって、未検証の証明が一度に大量に出てくることで、個々の成果に人手での綿密な確認が必要となり、進歩が遅れるおそれがある。また、AIが生み出した発見をどのように信頼し、現実の応用に生かすのかという問題も浮き彫りになる。
