GPT-5.6がマクスウェル予想の反証に貢献——ただし、誰もが考えていたものではない
OpenAI
arXivに投稿されたプレプリントが、点電荷の平衡点の最大数に関するいわゆるマクスウェル予想を反証すると主張しており、その主要なアイデアはOpenAIのGPT-5.6 Solモデルに帰属しています。2007年に定式化されたこの予想は、n個の電荷に対する非退化平衡点の上限を(n−1)²とするものでした。反例は、5つの電荷の配置を用いて、予測された16を超える少なくとも24個の平衡点が存在することを示しています。
7月29日、『マクスウェル予想は偽である』という短い論文がarXivに掲載された。翌朝、共著者のフィリップ・アラトゥンはソーシャルメディアに、この予想が偽であり、反例をAIが見つけ出し、数学者はそれを伝えただけだと書いた。OpenAIの社長であるグレッグ・ブロックマンがこれをリツイートし、ニュースは広まった。しかし、多くの人々はその意味を誤解し、マクスウェル方程式に関するものだと思い、電磁気学について質問した。実際の予想は、2007年にガブリエロフ、ノビコフ、シャピロによって提唱されたもので、n個の点電荷に対する非退化平衡点の最大数に関するもので、最大で(n−1)²であると提案されていた。反例は、正三角形の頂点に3つの単位電荷(4つの平衡点を与える)を置き、さらに垂直軸に沿って2つの微小な電荷を加えることで、中央の平衡点が21個の新しい平衡点に分裂し、全体で少なくとも24個になるというものだ。加える電荷の大きさは、一意に決定される係数でε³に比例する必要がある。プレプリントでは、言語モデルGPT-5.6 Solが構想のアイデアを提案し、著者らが数学を検証し、MathematicaとMapleをチェックに使用したとしている。意義については議論があり、ニッチだと評する人もいるが、AIのテストとして機能し、真の成長オーダーは未知のままであり、以前の上限は超指数関数であった。この結果は査読やLeanでの形式化を経ていないが、初等的で再現可能であり、5日以内に公に異議を唱えた者はいない。
出典: Habr — хаб ИИ —
原文
