午夜学术新闻

meta的AI Muse Spark宣称可以在没有已知研究方向的时候，协助研究人员探索尚未解决的数学问题。

它分析了一个关于“随机点是否能够精确嵌入到一个被拉伸球面（stretched sphere）上”的问题。

对于他们研究的模型，他们证明了一个明确的临界点（sharp cutoff）：在临界点的一侧，精确匹配大概率发生；在另一侧，则大概率不会发生。

另外还有 偏微分方程/群论/优化理论上的进展。网页链接

虽然炒作的也算克制，但还是引起了领域内人类研究者的不满。

比如说随机点嵌入椭球的问题，物理学家已经猜出了答案（2023）

Antoine Maillard和Dmitriy Kunisky在2023 年利用统计物理中的 replica method 预测：

n/d^2=1/4

是临界点。

虽然这不是严格证明，但已经给出了非常完整的理论图景。

2023-2025年的严格数学成果，Afonso Bandeira和Antoine Maillard证明了：

approximate fitting（近似拟合）的 sharp threshold。

换句话说问题的主体框架已经建立。

当时剩下的是精确拟合（exact fitting）和一些技术障碍。

这些是困难的技术问题，但不是“从零开始发现阈值”那种问题。

到了 2026 年8月10日，Theodor Misiakiewicz和Garrett Wen上传了 exact threshold 的证明。

后续又给出了更一般的结果。也就是AI只是找到了一个新的证明，并没有解决人类未解决的问题。

伯克利的Tony Feng评论道

更令人印象深刻的是，Muse Spark可能找到了一台时光机，回到了2025年。