你在桌面上摆了几块磁铁，想知道周围有多少个“恰好平衡”的位置。点电荷问题也有类似直觉：多个电荷共同形成静电势，研究者寻找其中的临界点——势在这里的一阶变化为零。一个流传已久的猜想认为，这类点不会太多。如今，一篇新预印本摆出了一个超过上限的配置。与此同时，OpenAI集中公布了数学与理论计算机科学领域的十项进展，让AI参与前沿研究再次成为焦点。
需要先说清信源边界：十项成果的整体范围来自OpenAI官方发布；目前材料只提供其中一篇论文的摘要，无法逐项判断其余九项究竟是完整解题、局部推进，还是新的研究线索。
五个点，为什么足以推翻一个猜想？
OpenAI称，这批成果涉及几何、密码学和复杂性理论。复杂性理论研究的是：解决一个计算问题，需要多少时间、存储空间或查询次数。官方把这些工作称为针对长期开放问题的“进展”，但这不等于十道难题都已被彻底解决。“十道数学难题”也只是便于传播的概括，因为范围还包括理论计算机科学。
现有材料中，信息最具体的是7月29日提交至arXiv的预印本《The Maxwell Conjecture Is False》。预印本是正式审稿前公开的研究稿件，方便同行尽早检查；它公开在案，不代表结论已经通过同行评议。
论文讨论Maxwell猜想。该猜想认为，个点电荷形成的场，最多存在
个非退化临界点。“非退化”可以先理解为这个平衡点不是一大片含混的平坦区域，而是局部结构明确、能够严格辨认的临界点。
当时，猜想给出的上限是
论文摘要则称，作者构造出欧氏空间中的5个点电荷，其静电势至少有24个临界点，而且全部非退化。24大于16，因此只要这个构造和相关计算经得起独立核验，Maxwell猜想的普遍表述就被推翻了。
这正是“反例”的力量。一个猜想如果声称所有符合条件的情况都成立，研究者不必逐一检查所有情况；只要找到一个满足前提、却不满足结论的实例，就足以否定它。像有人断言“这个盒子里的球全是白色”，找到一个黑球即可反驳。难点不在逻辑，而在于证明这个“黑球”确实存在，并且没有算错。
GPT-5.6到底做了多少？
技术社区关注的另一层，是模型贡献。材料中的论文页面标题带有“GPT 5.6 Sol”字样，但所提供的arXiv摘要没有提到GPT-5.6，也没有说明OpenAI、模型或人类研究者分别完成了哪些工作。因此，目前不能据此确认“反例由GPT-5.6完成”，更不能判断模型是提出关键构造、补全证明，还是参与了其他环节。
这延续了本刊7月20日两篇报道中的同一问题：当时我们分别追踪GPT-5.6 Sol参与凸优化证明，以及Claude Fable为Jacobian猜想递交候选反例。面对AI参与的数学成果，至少要把三件事分开：结果是否正确，想法是否新颖，以及贡献究竟属于谁。
形式化验证或许能帮助第一件事。它把定理和证明写成计算机可以逐步检查的逻辑表达，像给每一步推理设置一道机器验票口。但它不能自动判断成果是否首次出现、是否重要，也不能替代清晰的贡献说明。现有材料没有披露这篇论文是否完成了形式化验证。
为什么值得现在看？
真正值得关注的，不只是AI又答对了一道题，而是它是否开始产出可由外部研究者检查的研究对象。点电荷配置、临界点数量和证明链条，都比一句模型自报的“答案”更接近可验证研究。
OpenAI一次公布十项跨领域成果，也表明这不再只是单个案例的传播。不过，在其余九项的论文、证明和验证信息出现之前，我们只能确认发布规模和覆盖方向，不能把“advances”直接翻译成“十题全部攻克”。
局限与未知
- Maxwell论文目前只能确认已提交arXiv；材料没有提供同行评议、正式发表或第三方专家验证信息。
- 摘要没有披露5个点电荷的具体配置与核验过程，现阶段无法仅凭供稿材料复查“至少24个”的计算。
- GPT-5.6的具体贡献及其余九项成果的内容均未在现有材料中说明。