Meta Muse 模型联手数学家攻克 6 个公开数学难题
armand_ruiz · x · 2026-10-03
Scale AI 创始人、Meta 首席 AI 官 Alexandr Wang 宣布,数学家与 Meta 的 Muse 模型合作,解决了 6 个公开数学问题,涵盖高斯椭球拟合的严格阈值、质量临界双调和非线性薛定谔方程的有限时间爆破、半阿贝尔群的单演性、基于环的松弛的紧性、曲线上的弦二点函数与高度函数,以及可解演化代数与一个猜想等,横跨分析、代数与组合多个领域。这是 AI for Science 方向的标志性成果之一。
所属事件:Meta 官宣:Muse Spark 助数学家攻克五个开放难题(7 条相关)→
「研究」频道最新
- Meta 发布 NAVA-WAM:纯视频预训练机器人动作策略,摆脱动作标注依赖 — meta · 2026-10-05
- 开源 Rust 引擎 gamfit:一条公式拟合 GAM,自动选平滑参数 — Sauers_ · 2026-10-05
- Llama 3.1 8B 微调医疗决策模型:逐字段准确率 84%,全对仅 30% — Forsaken_Cut8542 · 2026-10-05
- 上海交大发布 LIFT:VLA 零力标注预训练,后训练注入力觉高频反应 — jiqizhixin · 2026-10-05
- LOOM 让循环 MoE 稳定跑到 9-12 层循环,iso-FLOP 反超标准 MoE — SonglinYang4 · 2026-10-05
- 论文被 ACML 2026 接收却因无钱交注册费考虑撤稿 — Jealous_Key_4030 · 2026-10-05