OpenAIモデル、80年の歴史を持つ離散幾何学の予想を反証

OpenAIは、平面単位距離問題と呼ばれる組合せ幾何学の課題を自律的に解決した新しい汎用推論モデルを明らかにした。この課題は、約80年間未解決であった。 このAIは、スケーリングされた正方形グリッドが単位距離のペアを最大化するという中心的な予想を否定し、多項式的な改善をもたらす無限の例の族を特定した。 FieldsメダリストのTim Gowersや数論者のArul Shankarを含む外部の数学者によって、証明が検証され、関連する論文が著された。 これは、数学における著名な未解決問題が、数学特有のシステムではなく、汎用のAIモデルによって解決されたのは今回が初めてである。