AIが80年の壁を壊した日：単位距離問題への挑戦

OpenAI のモデルが、1946年から80年間未解決だった幾何学の大予想を否定し、数学史において重要な一歩を記しました。

• 単位距離問題は、平面上の点群における一定距離の点対の最大数を求める問題で、ポール・エルデシュが提起しました。
• OpenAI のモデルが従来は不可能とされていた数学的証明領域での成果を達成しました。
• AI による数学的発見が従来の限界を打ち破り、研究方法の転換期を示唆しています。

※ Claude Haiku 4.5 による自動要約です。原文を必ず確認してください。