OpenAIの汎用LLMが数学の未解決問題を解いた

本日、平面単位距離問題に関する画期的な成果を共有します。これは、1946年にポール・エルデシュが最初に提起した有名な未解決問題です。

この証明は、数学問題やこの特定の課題を解くために特別に構築されたシステムではなく、一般用途の推論モデルから得られたものであり、数学とAIコミュニティにとって重要なマイルストーンを象徴しています。

この結果は、より大きな意味を示唆しています。AIシステムは、長く複雑な推論の連鎖を維持し、遠く離れた分野間でアイデアをつなぎ、研究者がまだ探求していない道筋を明らかにする能力を身につけつつあります。