Meta 官宣:Muse Spark 协作完成 6 篇数学论文,5 篇解决开放问题
Dr_Singularity · x · 2026-10-03
Meta 研究人员与数学家合作,仅通过常规 meta.ai 聊天界面使用 Muse Spark 1.1/1.2(无定制研究脚手架),产出 6 篇覆盖多个数学领域的研究论文,其中 5 篇回答了此前悬而未决的开放研究问题:
- 概率论:给出高维高斯随机点能否共椭球的尖锐阈值
- 偏微分方程:证明质量临界双调和非线性薛定谔方程径向负能量解的有限时间爆破,解决 2015 年遗留问题
- 群论:Muse Spark 生成 GAP 代码,找到 384 阶反例,推翻 2024 年关于半阿贝尔有限群单项性的猜想
- 优化:刻画某二元多项式优化循环松弛何时精确、何时必有间隙
- 算术物理:建立 p-adic 弦两点函数与曲线上高度函数的更广联系
- 非结合代数:给出可解演化代数刻画的 3 维反例并提出新判据
Meta 强调流程原则:数学家团队主导研究并由另一组数学家复审,论文明确标注 AI 与研究者各自起草的部分。作者还提及此前一人用 Claude 三个月探索约 400 个科学问题、产出 36 篇稿件的案例,称"加速正在加速"。
所属事件:Meta 官宣：Muse Spark 助数学家攻克五个开放难题(7 条相关)→
「漫话AGI」频道最新
- Sam Altman 反对单一实验室垄断 AI 决策权 — mark_k · 2026-10-05
- Owain Evans 谈模型内省：可用于 AI 安全与模型福祉 — Sauers_ · 2026-10-05
- slop 之争跑偏了：反 AI 与挺 AI 其实都厌恶无意义灌水 — Kind_Substance_8981 · 2026-10-05
- 《AI 2027》作者 Kokotajlo 复盘 2021 年对 2026 年的预测 — ClankerCore · 2026-10-05
- Claude 通宵自主搭建 slopcore 排行站，已索引 56 条视频 — technollama · 2026-10-05
- 网友争论 GPT「强势人格」根源：价值观自 GPT-5 起一脉相承 — repligate · 2026-10-05