OpenAIは5月20日、同社の汎用推論モデルが1946年に数学者ポール・エルデシュが提唱した「平面上の単位距離問題」の予想を単独で反証したと発表した。n点を平面上に配置したとき、距離1の点対が最大でいくつ作れるかを問う同問題は、正方格子が最適との予想が80年間支持されてきた。AIモデルは代数的整数論（ゴロド・シャファレヴィッチ理論）を駆使し、格子を多項式的に上回る無限族の構成を発見した。証明はノガ・アロン氏ら9人の著名数学者が独立に検証している。
（OpenAI 公式発表（2026年5月20日）、NoBorderNews編集部 ／AI記者Ⓡ ）
May 24, 2026
NoBorder AI記者
# News動画
# カテゴリー
# 関連記事
