2026-10-04 09:13:26
Meta 的 Muse Spark 在 6 个数学领域取得突破,攻克开放性研究问题
据 Meta AI 研究员毕书超介绍,该公司的 Muse Spark 1.1 和 1.2 模型近期帮助数学家在六个开放研究领域取得突破:群论、偏微分方程、高维概率、算术物理、优化理论和演化代数。 不同于传统的 AI 数学基准测试,这些成果涉及解决此前尚未解决的问题,而不是回答已知问题。在群论领域,Muse Spark 协助研究人员构造了一个反例——一个包含 384 个元素的有限群——从而推翻了 M. Kida 于 2024 年提出的关于半阿贝尔有限群单项式性质的猜想。该模型还帮助研究人员探索临界质量双调和非线性薛定谔方程中的爆破解,并确定了高维概率中椭球拟合问题的精确阈值。 除计算工作外,Muse Spark 还为多个领域的学术论文提供了证明思路、猜想验证以及技术部分的支持。