Meta 团队用 Muse Spark 发现代数反例

Meta 分享数学家与 Muse Spark 1.1 和 Muse Spark 1.2（Thinking Mode）在 meta.ai 普通聊天界面下协作完成的六篇论文，面向无现成解法的开放数学问题，未使用定制研究脚手架。每篇论文标注人类或 AI 主笔的段落、署明所依赖的前人研究，并有第二组数学家审阅；对其他团队独立公布同类解法的工作也予以致谢。

Meta公布Brain2Qwerty v2，这是非侵入式脑电信号解码研究的最新里程碑。基于当天发表在《Nature》的v1，v2是性能最高的端到端管道，能从原始脑信号实时解码句子。其从字符级性能提升至解码单词和语义，提高整体沟通准确性。该研究有望帮助数百万因脑损伤或疾病无法沟通的人群。

在我们的研究博客上阅读更多内容：https://research.meta.ai/blog/solving-open-research-problems-together

4️⃣ 优化：什么时候可以用更简单的问题替换一个困难的数学问题，而不丢失任何东西？研究人员与 Muse Spark 合作，证明了一条明确的规则，说明某种特定简化何时能精确捕捉原问题，何时会留下缺口。 阅读论文：https://ai.meta.com/research/publications/tightness-of-the-cycle-based-relaxation-for-completed-length-three-alpha-cycles/

3️⃣ 群论：研究人员通过找到一个反例，推翻了一条关于描述对称性的数学结构的猜想。Muse Spark 生成了找到该反例的搜索代码，团队验证了结果并完成了证明。 阅读论文：https://ai.meta.com/research/publications/semiabelian-groups-need-not-be-monomial/

1️⃣ 概率：数学家与 Muse Spark 合作，回答了关于将随机点拟合到拉伸球面上的问题。在所研究的设定下，他们证明了精确拟合可能与否之间存在一个明确的临界点。 阅读论文：https://ai.meta.com/research/publications/the-strict-threshold-for-gaussian-ellipsoid-fitting/

2️⃣ 微分方程：想象一场拔河——一种效应把波向内挤压，另一种效应把波向外扩散。波能永远聚集下去吗？在 Muse Spark 的帮助下，研究人员证明，在所研究的条件下，激光启发模型中的波必须在有限时间内"爆破"。 阅读论文：https://ai.meta.com/research/publications/finite-time-blow-up-of-radial-negative-energy-solutions-for-the-mass-critical-biharmo…

Meta AI 与数学家合作，使用 Muse Spark 1.1 和 1.2（Thinking Mode、经 meta.ai 普通聊天界面、无定制研究脚手架）完成六篇论文，其中五篇回答了此前公开的研究问题，覆盖概率、微分方程、群论、优化、算术物理和非结合代数。

Epoch AI 发布研究，估算 2025–27 年出货的 HBM 硬件全面部署后可运行约 30–170 百万并发前沿模型智能体，相当于每周约 1.4–7.2 亿全职员工的工作时长。

Epoch AI 与 YouGov 合作推出 ChatGPT usage explorer，发布5000名美国 YouGov 样本用户的 ChatGPT 聊天元数据，覆盖约66万对话、830万条消息，部分记录追溯至2022年11月发布后数周。