Scale AI 创始人：Muse 与数学家合作解决 6 个公开数学难题
inductionheads · x · 2026-10-07
Scale AI 创始人 Alexandr Wang 宣布，其团队的 Muse 与数学家合作解决了 6 个公开数学难题，包括：
- 高斯椭球拟合的严格阈值
- 质量临界双调和非线性薛定谔方程径向负能量解的有限时间爆破
- 半阿贝尔群不必为单项群
- 完备三长 α-循环的基于圈的松弛紧性
- 弦两点函数 = 曲面上的高度函数
- 可解演化代数与 García-Martínez–Pérez-Rodríguez 猜想
转发者以「muse what? 💡」调侃命名，暗示这是 Scale 旗下 AI for Math 方向的重要进展。
「研究」频道最新
- OpenAI 证明矩阵乘法可降至 O(n^2.25),但尚无具体算法 — Pascallisch · 2026-10-07
- Melanie Mitchell 回击 Scott Alexander：晒 Google Scholar 与 NeurIPS 新论文 — MelMitchell1 · 2026-10-07
- 整数乘法再快于 N log N？算法圈惊呼「太邪门」 — QuintinPope5 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- 前沿 LLM 做生物「人类解读者」比虚拟细胞更先落地 — CatAstro_Piyush · 2026-10-07
- AI 宣称攻克 500 大开放数学难题中的 90 个,黎曼猜想等获部分证明 — DavidSKrueger · 2026-10-07