26/05/22 21:24:12.98 /fMSgrfE.net
OpenAIが80年近く未解決だった数学予想の反証に成功、人間の数学者も「AIが補助役を超えた」と驚く発見
OpenAIは2026年5月20日、同社の内部AIモデルが離散幾何の中心的な未解決問題「単位距離問題」に関する長年の予想を反証したと発表しました。
単位距離問題は「平面上にn個の点を置いたとき、距離がちょうど1になる点のペアを最大でいくつ作れるのか」という問題です。
An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI
URLリンク(openai.com)
(以下略、続きはソースでご確認ください)
Gigazine 2026年05月21日 12時20分
URLリンク(gigazine.net)