五个开放问题，七周掉了四次：Meta 论文里自己列出的那些独立解法
10 月 2 日，Meta AI Research 发了一篇博客，标题是 Solving Open Research Problems Together。
📊 五个问题，四次坠落
10 月 2 日，Meta AI Research 发了一篇博客，标题是 Solving Open Research Problems Together。
内容是六篇数学论文，人类数学家与 Muse Spark 合作完成。 Meta 说其中五篇给出了对先前开放研究问题的答案。
这句话的分量不在六篇，而在五篇。 因为同一篇博客里，Meta 自己列出了那些问题的独立解法，日期全部早于 10 月 2 日。
| 论文 | 领域 | Meta 的说法 | 已有的独立结果 |
|---|---|---|---|
| 高斯椭球拟合的严格阈值 | 概率论 | 解答开放问题 | 三组，8 月 |
| 双调和 NLS 的有限时爆破 | 微分方程 | 解答 2015 年遗留问题 | 无记录 |
| 半阿贝尔群不必是幺模群 | 群论 | 证伪 Kida 2024 猜想 | 智能体 9 月 16 日 |
| 循环松弛的紧性 | 优化 | 解答 Del Pia 等 2026 之问 | 无记录 |
| 弦二点函数与曲线高度函数 | 算术物理 | 延拓，不计入开放问题 | 承认独立结果 |
| 三维反例 | 非结合代数 | 证伪猜想 | 8 月 12 日 |
🔍 椭球拟合：七周掉了四次
这个猜想属于 Saunderson、Parrilo 与 Willsky 等人，开放了多年。 然后在 2026 年 8 月密集落地：
- 8 月 10 日，Misiakiewicz 与 Wen 贴出 d 平方除以 4 的 SAT/UNSAT 相变证明（arXiv:2608.10184）。
- 8 月 12 日，de la Cerda、Potechin、Tulsiani 与 Xu 贴出自己的严格阈值证明（arXiv:2608.12415），差一个趋于零的乘性因子。
- 8 月 27 日，Koehler 与 Sohn 贴出一个更普适的结果（arXiv:2608.27372），高斯阈值 1/4 是它的特例。
- 10 月 2 日，Meta 的论文挂出，而它把精确临界点 n 除以 d 平方趋于 1/4 这一条留作未决。
这个榜单一列，问题就变了。 【判断】说一个猜想开放了很多年，然后它在七周内被四次独立攻克，描述这个事实的方式不该是「我们解答了开放问题」，而该是「这个问题在八月份成熟了，六周内有四拨人赶到」。
🤖 智能体跑在论文前面
群论那篇的细节更具体。
2024 年 M. Kida 猜想每个有限半阿贝尔群都必须是幺模群。 Meta 的论文《Semiabelian Groups Need Not Be Monomial》给出一个反例：SmallGroup(384, 20127)，384 个元素。 【直引】找到它的 GAP 搜索程序由 Muse Spark 写出。
而 Meta 在脚注里记了另一件事：9 月 16 日，一个叫 Nilradical 的智能体报告了一个不同的反例。 它的结果在 kourovka-lean 仓库里，作为 Kourovka Notebook 的第 21.68 号问题：一个 2592 阶的半阿贝尔群，带一个 8 次不可约的非幺模表示，附一个经内核检查的 Lean 证明。
【推论】Nilradical 的群是 2592 阶，Meta 的是 384 阶，后者更小。 但两者不在一个层面上：Meta 的六篇论文里没有提到任何 Lean 形式化，验证方式是人工同行评议；而 Nilradical 交的是机器可检查的证明。
三维反例那篇也有独立结果。 Xing-Yu Hu 与 Ran Wen 在 8 月 12 日贴出一族三维反例（arXiv:2609.25023），并指出三是该猜想可能失效的最小维数。 Meta 的作者 Andres Barei 找到的也是三维反例，尺寸相同。
⚙️ 没有脚手架，这件事比结果更难复制
最值得注意的技术细节反而不在数学上。
数学家们用的是 Muse Spark 1.1 与 1.2，在 Thinking 模式下通过普通的 meta.ai 聊天界面使用，Meta 明确说没有搭建任何专门的研究脚手架。 没有定制的证明检验环境，没有为这几个问题单独微调过。
博客把分工写了三条：数学家团队指导研究并与模型一起探索想法与构造论证；第二组数学家评审他们的工作；每篇论文都标注哪些段落主要由研究者起草、哪些由 AI 起草。
逐段标注这件事值得单独指出。 【判断】它比绝大多数期刊现行要求更严：脚注里一句笼统披露不够，它标在正文的具体段落上。 同一周 arXiv 因 AI 辅助投稿量压垮审稿人而把每位作者的月投稿上限设为两篇，如果 AI 辅助论文普遍带上这种标注，审稿的难度会明显下降，因为评审知道该往哪里盯。
至于那五篇的作者构成，有一处交叉值得注意：Andres Barei 评审了群论那篇，同时自己是非结合代数那篇的作者；Nicolas Jaramillo Torres 评审了 Barei 的论文，同时是弦理论那篇的共同作者。
🧮 两篇真正无重叠的
留到最后的是两篇没有重叠记录的结果。
微分方程那篇处理质量临界的双调和非线性薛定谔方程，解答了 Boulenger 与 Lenzmann 在 2015 年留下的问题，维度 N 大于等于 2，并确认了 2002 年计算机模拟给出的一个预测。 模型在这篇里的角色偏向算推导：作者 Leonard Dinh 选题并给出关键证明思路，模型帮着算，试可能的论证，再修订证明。 博客里配的示意图是一道波在接近有限时爆破时变得越来越窄越来越高。
优化那篇问的是二元多项式优化里循环松弛何时是精确的，答案是精确的条件由一个维恩图式的结构刻画：当三个圆两两共享的区域里各自恰好含一个决策变量时，松弛是完美的，一旦多于一个，缺口就出现。 这篇同样由 Arslan 参与。
【直引】Meta 自述的目标是让我们批量生产论文，而是赋能研究者。
【判断】这两篇到今天都还没有经历社区的广泛检验，当作有前景的预印本看待是合适的。 而这两篇恰好都不是靠反例赢的，是靠论证。 反例类结果（一个具体的对象推翻一条猜想）可以机械检查，几天内外部数学家就能验完；长证明只能等期刊评审。 把这两类混在一起算成同一个战果，本身就模糊了难度差异。
🔭 下一步在文献核查
【直引】Meta 的论文自己给出了那条更耐嚼的事实：几支团队同时攻击同一份开放问题清单时，发表前的文献核查比证明本身更要紧。
【判断】反例搜索会继续是模型最可靠的数学着力点。 定义空间、生成候选、测试、保留，这四步属于搜索，而能不知疲倦地写并运行搜索程序的模型恰好被匹配到这个形状上。 想让模型切进数学，反例型问题回报最快。
而形式化验证正在变成区分度所在。 Nilradical 交的是经内核检查的 Lean 证明，Meta 交的是人工评审。 【直引】可以预期，AI 参与的数学公告会越来越被要求附上机器可检查的产物。
📌 信源与限定
- 六篇论文的标题、作者、领域与 Meta 的分工表述，取自 Meta AI Research 10 月 2 日博客。
- 独立解法的 arXiv 编号与日期，取自对博客脚注的逐条核对：2608.10184、2608.12415、2608.27372、2609.25023。
- 五与三的差额为 Meta 博客自述与他方评审公开质疑两方口径并列，未替任一方裁定。 有评审者主张真正开放的约为六篇中的三篇。
- 六篇论文未见期刊同行评审。 Meta 自述的六篇中算术物理那篇不计入开放问题答案，故其与另外五篇的表述差异不构成口径冲突。