Meta 宣布数学家与 Muse Spark 1.1 和 Muse Spark 1.2（Thinking Mode）通过常规 meta.ai 界面协作，解决六个公开数学难题并发布六篇论文。协作无自定义研究脚手架，每篇论文标注哪些段落主要由人类或 AI 起草，并由第二组数学家审阅，亦承认其他团队独立公布的同题解法。
原文展示了模型在无现成解法的公开数学难题上与数学家协作产出六篇论文的案例，并提供人机分工标注原则。
mathematicians and muse spark collaborated to solve 6 open problems in math:
1. The Strict Threshold for Gaussian Ellipsoid Fitting
2. Finite-Time Blow-Up of Radial Negative-Energy Solutions for the Mass-Critical Biharmonic Nonlinear Schrödinger Equation
3. Semiabelian Groups Need Not Be Monomial
4. Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles
5. String Two-Point Function = Height Function on a Curve
6. On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez
Following gold-medal-level performance from our AI models across five competitions in mathematics, physics, and chemistry, we asked a harder question: can AI contribute when a problem is genuinely open and without an existing solution path? Over the past several months, mathematicians worked with Muse Spark 1.1 and Muse Spark 1.2 in Thinking Mode through the regular http://meta.ai chat interface, with no custom research scaffold, to find solutions to such problems. Our goal wasn't to mass-produce papers, but empower researchers. Every collaboration followed the same principles: mathematicians guided the research, a second group of mathematicians then reviewed the work, each paper marks which passages were drafted primarily by humans or AI, and each credits the prior research it builds on. Where other teams independently announced solutions to the same problems, we acknowledge their work as well. Today, we're sharing six papers from that collaboration. 🧵👇在 X 查看被引用的帖子
来源：Alexandr Wang · x.com