arXiv論文：数学研究AIが未解決定数の境界を更新——専門家が新規と認める着想を提示

結論から言うと、AIは数学者の代わりに証明を完成させる万能機ではありませんが、長時間の探索を人と組み合わせることで、未解決問題の既知の境界を実際に狭める着想を出せる段階に近づいています。2026年8月11日にarXivへ投稿された事例研究は、組合せ問題と連続的な近似問題の難しさの差を表す「グロタンディーク定数」を対象に、人とAIの共同研究過程を詳しく報告しました。

この定数の正確な値は今も分かっていません。研究チームは、下限を6π/11、上限をπ÷{2 log(1+√2)}−10のマイナス4乗まで狭めたとしています。論文によると、使われたAI研究システムは長い期間にわたって候補を探し、分野の専門家が新規性のあるものと判断した着想に到達しました。

重要なのは、最終数値だけでなく、AIが得意だった探索、苦手だった点、突破口を得やすい条件をケーススタディとして整理したことです。利用者にとっては、難しい調査や研究でAIに一発回答を求めるより、仮説を多数出させ、人が検算し、条件を整えて再探索させる使い方の参考になります。ただしこれは一つの高度な数学研究の事例で、他分野でも同じ成果が出る保証はありません。

掲載先は査読前のarXivで、定数の境界と新規性の評価は著者らの報告です。