Latent Space·2026年5月21日 16:28
[AINews] OpenAI の GPT-next が、80 年間の未解決問題であるエルデシュの平面単位距離問題を 1,000 ドル未満で反証
TL;DR
OpenAI の汎用推論モデルが、80 年間の未解決問題であるエルデシュの平面単位距離問題を反証し、専門特化型モデルではない一般向け LLM が複雑な数学的証明を達成した画期的な成果を発表しました。
AI深層分析2026年5月21日 08:03
5
最重要/ 5段階
関連性
新規性
影響度
信頼性
OpenAI の汎用推論モデルが、80 年間の未解決問題であるエルデシュの平面単位距離問題を反証し、専門特化型モデルではない一般向け LLM が複雑な数学的証明を達成した画期的な成果を発表しました。
重要度スコアの内訳、キーポイント、影響分析、編集コメントをプレミアムで公開中。
SpaceXAI の IPO 届出に関する報道は、実際の IPO 実施日に譲ります。今日は、平面単位距離問題に対する OpenAI の成果を祝います。これは GPT-5.6 と推測されるもので、実行時間は 32 時間未満、コストは 1000 ドル以下とされています。2025 年の IMO（国際数学オリンピック）金メダル獲得結果と同様に、これは AlphaProof や Lean スタイルの専用モデルではなく汎用型大規模言語モデル（LLM: Large Language Model）であり、この拡張推論能力が数学以外の分野にも一般化される可能性に希望を抱かせます。
出力の 125 ページの中には、注目を集めている「39 ページ目の瞬間」が存在します。
![image](https://substackcdn.com/im
続きを日本語で読む
無料登録で1日5記事まで読めます。プレミアムなら無制限。
7日間の無料トライアル ・ いつでもキャンセル可能
関連記事
TLDR AI★52026年5月21日 09:00
AI が幾何学の長年の未解決予想を解明（14 分読み）
OpenAI の推論モデルが、1946 年から続く平面単位距離問題に関連する主要な予想を自律的に反証しました。この証明は代数的数論の手法を導入し、外部の数学者によって独立して検証され、AI が著名な未解決数学問題を解決した初の事例の一つとなりました。
The Verge AI2026年5月21日 23:00
マスク対アルトマン裁判：大げさな騒ぎに過ぎない
ザ・バージェ AI は、リズ・ロパットが報じたエロン・マスクとサム・アルトマンの裁判を特集し、法廷が混乱した状況にあったことや、両者の著名な性格が注目された点を伝えている。
The Zvi★42026年5月21日 22:17
AI #169：新たな知識の創出
OpenAI が数学的難問「単位距離問題」への解決策を示し、ホワイトハウスや裁判所による政策・判決も新たな知見をもたらす。また、生成コンテンツの偽物化という課題も浮き彫りとなっている。