個々の解答を「リレー」でつなぐ手法

今回の試みの中心にあるのは、難問を細分化し、AIが生成した多数の部分的な解答を連結して論証を構築する方式だ。単体のAIモデルが最初から最後まで証明を完成させるのではなく、各段階で生成された解答を積み重ねることで、従来の手法では到達できなかった領域への突破口を狙う。

対象となっているのは、いわゆる「ミレニアム問題」と呼ばれる難易度の高い数学の未解決問題群であり、関係資料は同問題の規則をまとめた公開ページで確認できる。

成果の範囲には慎重論も

AIが生成した解答群が数学的に厳密な証明として成立しているかどうかは、専門家による検証を経なければ確定しない。生成された1万個の解答のうち、どの程度が有効な論証として機能するのかについては、現時点で明らかになっていない。

また、この手法が実用的な証明手段として定着するかどうかも、今後の検証結果次第とみられる。

Verdict: 概ね事実