GPT-5.6 协助推翻麦克斯韦猜想——但并非人们以为的那个
OpenAI
arXiv 上的一篇预印本声称反驳了关于点电荷平衡点最大数量的所谓麦克斯韦猜想,其中关键思路归功于 OpenAI 的 GPT-5.6 Sol 模型。该猜想于 2007 年提出,涉及 n 个电荷非退化平衡点数量的上限为 (n−1)²。反例采用五个电荷的配置,产生至少 24 个平衡点,超过了预测的 16 个。
7月29日,一篇题为《麦克斯韦猜想为假》的短文出现在arXiv上。次日清晨,合著者菲利普·阿拉顿在社交媒体上写道,该猜想为假,且是AI发现了反例,数学家只是转述。OpenAI总裁格雷格·布罗克曼转发了此消息,消息随即传开。然而,许多人误解了含义,以为它涉及麦克斯韦方程组,从而引发了关于电磁学的问题。实际猜想由加布里埃洛夫、诺维科夫和夏皮罗于2007年提出,涉及n个点电荷的非退化平衡点最大数量,猜想上限为(n−1)²。反例涉及三个位于等边三角形顶点的单位电荷(产生四个平衡点),并沿垂直轴添加两个微小电荷,将中心平衡点分裂为21个新平衡点,总计至少24个。所添加电荷的大小必须按ε³缩放,系数唯一确定。预印本将提出构造思路归功于语言模型GPT-5.6 Sol,而作者验证了数学,并使用了Mathematica和Maple进行检查。其意义引发争论:有人称其小众,但它作为对AI的测试,并留下了真实增长阶的未知,之前的界为超指数。该结果未经同行评审,也未在Lean中形式化,但它是初等的且可复现,五天内无人公开反对。
来源: Habr — хаб ИИ —
原文
