OpenAIが80年近く未解決だった数学予想の反証に成功、人間の数学者も「AIが補助役を超えた」と驚く発見

1 : 2026/05/22(金) 21:24:12.98 ID:/fMSgrfE

OpenAIが80年近く未解決だった数学予想の反証に成功、人間の数学者も「AIが補助役を超えた」と驚く発見

OpenAIは2026年5月20日、同社の内部AIモデルが離散幾何の中心的な未解決問題「単位距離問題」に関する長年の予想を反証したと発表しました。
単位距離問題は「平面上にn個の点を置いたとき、距離がちょうど1になる点のペアを最大でいくつ作れるのか」という問題です。

An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI
https://openai.com/index/model-disproves-discrete-geometry-conjecture/

（以下略、続きはソースでご確認ください）

Gigazine 2026年05月21日 12時20分
https://gigazine.net/news/20260521-openai-model-disproves-discrete-geometry-conjecture/

3 : 2026/05/23(土) 00:45:53.94 ID:+84GjfKl

驚かない屋さんはいつまでそれやるの？

4 : 2026/05/23(土) 01:33:47.38 ID:psBm4Kk3

計算関係はAIに任せたら良さそうやね

33 : 2026/05/24(日) 14:43:28.63 ID:QBdmzPdb

>>4
計算問題じゃないよバカ

6 : 2026/05/23(土) 08:02:54.39 ID:j6EDE2nI

>>1
グラフの縦軸も対数にしろよ

7 : 2026/05/23(土) 13:18:30.13 ID:8AnTGylo

信頼に足るものなら実務はAIに置き換わってもいい
しかし人間の命題とは幸せの追求でありますのでAI生成では喜びが得られないかもしれない

8 : 2026/05/23(土) 13:28:13.09 ID:AdDk6ICs

もう数学はAIの証明を人間が検証できるかどうかのシンギュラリティ世界がすぐそこか

10 : 2026/05/23(土) 16:23:44.12 ID:OB4SkH5t

フェルマーの最終定理の初等的証明が見つかったら面白い

11 : 2026/05/23(土) 16:54:41.80 ID:cmFOC6DB

>>1の本文
OpenAIのモデルを使った数学研究の事例はこれまでも報じられており、2026年4月23日にリリースされたChatGPT 5.5 Proは博士課程レベルの研究を1時間で行ったことが話題になりました。今回はOpenAIの内部モデルを使用して、さらに上のレベルの研究を行うことに成功したというわけです。

12 : 2026/05/23(土) 16:55:39.00 ID:cmFOC6DB

>>1の本文
数学者の間では長年にわたり、単位距離ペアの最大数u(n)の上界はnの1＋o(1)乗程度に抑えられるだろうと予想されてきました。o(1)はnが大きくなるほど0に近づく量を表すランダウの記号のスモールオーで、nの1＋o(1)乗は「nより少しだけ大きい程度」という意味合いです。

13 : 2026/05/23(土) 16:56:38.60 ID:cmFOC6DB

>>1の本文
今回の発見はOpenAIが内部でテストしていた汎用推論モデルによって導き出されました。当該モデルは全般的な問題に対処するように設計されたモデルであり、数学専用AIではありません。OpenAIは発見の経緯を「高度な汎用推論モデルが最先端研究に貢献できるかを調べる取り組みの一環として、エルデシュ問題の集合で評価していたところ、単位距離問題の未解決予想を反証する証明が出力された」と説明しています。証明は外部の数学者グループによって確認され、背景や意義を説明する付随論文も作成されています。

14 : 2026/05/23(土) 16:58:34.61 ID:cmFOC6DB