麦克斯韦猜想被证伪：五电荷反例
The Maxwell Conjecture Is False (GPT 5.6 Sol)
物理学界传来重磅消息，麦克斯韦猜想（Maxwell Conjecture）正式被推翻。Philip Arathoon 及其合作者在 arXiv 上发布论文，通过构建一个由五个点电荷组成的特定构型，成功找到了至少 24 个非退化的临界点。这一发现直接打破了麦克斯韦关于 n 个点电荷电场中非退化临界点数量不超过 (n-1)^2 的长期假设。这项成果不仅解决了经典物理学中的一个悬而未决的难题，也展示了数学物理领域在临界点理论上的新突破，为理解静电场的拓扑结构提供了全新的视角。
我们展示了一种欧几里得空间中五个点电荷的构型，其静电势拥有至少 24 个非退化临界点，因此麦克斯韦关于 n 个点电荷场中非退化临界点数量不超过 (n-1)^2 的猜想是错误的。
HN 评论区
139- mellosouls
无意贬低这一时刻（AI 介入理论物理正是其中一部分）或此处的成果，但这些标题可能有些夸大其词——有些理论和猜想之所以能被 AI 辅助探索，恰恰是因为它们非常小众且并不重要。
比如这里借用了麦克斯韦的名字，听起来像是费马大定理那样百年未决的基础难题，但实际上这只是一个受那位伟人对其工作的反思启发而提出的近期猜想。
- d_burfoot
给那些聪明且对科学感兴趣的年轻人的建议：考虑从事实验物理学家的职业。实验数据是理论能力的补充。既然理论可以由 LLM 廉价地提供，实验能力现在就成了物理学进步的瓶颈。
我预计会看到前沿实验室或初创公司聘请实验人员为 LLM 提供数据以供分析，从而推动室温超导和核聚变等领域的突破。
- Syzygies
数学界有个老生常谈：白天尝试证明猜想，晚上尝试证伪它。Jordan Ellenberg 在他 2014 年的书中最近普及了这一观点。我和他都听 Barry Mazur 说过，但这至少可以追溯到 Bing 时代，甚至更早的古代。
数学的目的是什么？是通过看透旧事物来成为新规范的架构师吗？如果是这样，认为数学的全部意义在于证明命题就是一个糟糕的起点。Bill Thurston 是一位远见卓识者，碰巧证明了他所见的许多东西，但他的影响力在于他的愿景。
对于像我们这样喜欢理解生成的每一行代码，并花了数年时间学习如何最好地利用 AI 的人来说，生产力提升两倍是一个合理的估计。
对于像我们这样认为数学关乎人类理解的人来说，让机器决定什么为真、什么为假，其区别可谓天壤之别。同样，大约是两倍的影响。
- beernet
一方面，LLM 推动数学前进的速度确实令人印象深刻，而且这一速度正在急剧加快。
另一方面，我看过的绝大多数证明对我来说显得超级混乱和杂乱（当然，它们仍然是正确的，所以这并不重要）。LLM 不像人类那样在乎“优雅”，这其实是一个巨大的优势。LLM 在数学领域的契合度在很多层面上都非常完美。期待重大的突破，证明 P=NP，然后世界大乱。
- captainbland
这个很有意思，因为它是经过人工验证的。最近有一个证明无意中“证明”了 Collatz 猜想，原因是触发了 LEAN 的一个 bug：https://infosec.exchange/@0xabad1dea/117002106099986943
- j_maffe
配置的可视化：https://claude.ai/public/artifacts/9db65255-16ff-4f8e-8be1-1...
- JPLeRouzic
请问，这对麦克斯韦方程组意味着什么？对电磁学呢？
（维基百科将 Maxwell's conjecture 重定向到了 Maxwell equations）。
- vatsachak
太棒了！证实了我们要知道的事实：LLM 在短期推理和广度方面远超人类。