数学に特化した訓練を受けていないOpenAIの推論モデルが、組合せ幾何学において重要な進歩を達成しました。80年ぶりに、少なくともn^(1+δ)個の単位距離ペアを持つ無限族の配置が存在することが証明され、1940年代から研究を導いてきた予想が覆されました。
AIが人間の見逃したものをどう見つけたか 🧠
モデルは、数学者たちが非生産的だと考えていた高次元空間内の点の組み合わせを探索しました。教師なし探索パターンを適用することで、δがゼロより大きい固定値で単位ペアの多項式成長を生み出す構造を特定しました。この結果は、以前の予想を覆すだけでなく、具体的な例を構築するための道を開くものであり、伝統的な手法では1946年以来達成できなかったことです。
数学者たちよ、AIに先を越された（しかも涼しい顔で）😅
人間が限界はεがゼロに近づくn^(1+ε)かどうか議論している間に、AIが現れてこう言いました：ほら、固定されたδと無限族をテーブルに置いておくよ。面白いことに、このモデルは数学の天才ではなく、汎用の問題解決器に過ぎません。今度は数学者たちが、なぜ以前に思いつかなかったのかを説明する番です。あるいは、少なくとも発見しかけていたふりをすることです。