Meta publishes six maths papers made by mathematicians working with Muse Spark in ordinary meta.ai chat, saying five answer open questions
On Oct 2, 2026 Meta released six research papers written by mathematicians who used Muse Spark 1.1 and 1.2 in Thinking Mode through the regular meta.ai chat, with no custom scaffold. Results include a sharp threshold for Gaussian ellipsoid fitting, finite-time blow-up for the mass-critical biharmonic NLS (open since 2015), and counterexamples to Kida's semiabelian-groups conjecture and to a García-Martínez–Pérez-Rodríguez conjecture. Each paper marks which passages AI drafted, and a second group of mathematicians reviewed them. For several of the problems, other teams had posted independent solutions first.
Key facts
- Announced Oct 2, 2026 on research.meta.ai ('Solving Open Research Problems Together') and by @AIatMeta (~304k views by Oct 3)
- Setup: Muse Spark 1.1 and 1.2 in Thinking Mode via the standard meta.ai chat interface, no custom research scaffold; mathematicians guided the work and a second group reviewed it
- Each paper labels passages drafted primarily by humans vs AI and credits independent solutions
- 1) Probability: strict threshold for Gaussian ellipsoid fitting (around n ≈ d²/4), lead Aykut Arslan; three other teams (Misiakiewicz & Wen; De la Cerda et al.; Koehler & Sohn) posted solutions in August 2026
- 2) PDEs: finite-time blow-up of radial negative-energy solutions of the mass-critical biharmonic NLS in dimension ≥ 2, open since 2015 (lead Leonard Dinh)
- 3) Group theory: 'Semiabelian groups need not be monomial', a 384-element counterexample to M. Kida's 2024 conjecture (Brennan, Golich); the AI agent 'Nilradical' had reported a different counterexample on Sept 16
- 4) Optimization: tightness of the cycle-based relaxation for completed length-three alpha-cycles, a question of Del Pia and Khajavirad (2026)
- 5) Arithmetic physics: p-adic string two-point function equals a height function on a curve, extending a Tate-curve result in a direction envisioned by Manin
- 6) Non-associative algebra: counterexample to a García-Martínez–Pérez-Rodríguez conjecture on solvable evolution algebras (lead Andres Barei); Hu and Wen independently reported counterexamples
- Meta frames it as a step after its models' 'gold-medal-level performance' in five maths, physics and chemistry competitions
Science result
- Field
- mathematics / probability, PDEs, group theory, optimization, arithmetic physics, non-associative algebra
- Problem
- Six open questions/conjectures incl. Gaussian ellipsoid fitting threshold, biharmonic NLS blow-up (2015), Kida's semiabelian-monomial conjecture (2024) (open since 2015)
- Result
- Six papers; Meta says five answer previously open questions (two are conjecture refutations by counterexample; one extends a known connection)
- AI system
- Muse Spark 1.1, Muse Spark 1.2
- Human role
- AI-assisted: mathematicians directed the research; Muse Spark proposed and revised proof strategies, wrote search programs and candidate proofs, and drafted sections that humans verified
- Verification
- Internal review by a second group of mathematicians; papers not yet peer-reviewed
- Status
- pending
- Why surprising
- Done in the consumer chat product without a research harness, but several results were also found independently by other groups
What happened
Meta joined OpenAI, Google and Anthropic in publishing AI-assisted research mathematics. Its emphasis is that the work used the public chat product rather than an internal agent. Paper arXiv links were not given in the blog post; check them when they appear.
Why it matters
It adds Meta to the labs with AI-for-math research claims, and it shows how crowded the field has become: the same open problems are now often solved independently by several AI-assisted teams within weeks.
Changelog
- 2026-10-03: created
Related posts (1)
- AI at Meta: six maths papers from mathematician–Muse Spark collaborations original ↗ AI at Meta @AIatMeta · x · 2026-10-02
Meta's official announcement of AI-assisted research mathematics with Muse Spark (~304k views by Oct 3).
Related events
- Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help (July–September catalogue) ★★★★
- Meta releases Muse Spark 1.1 and opens the Meta Model API public preview ★★★
- Meta launches Muse Code terminal coding agent powered by Muse Spark 1.2 ★★★
Sources (4)
- officialMeta AI Research: Solving Open Research Problems Together
- officialAI at Meta on X: six papers from mathematician–Muse Spark collaborations
- pressRuntimeWire: Meta publishes six math papers made with Muse Spark and human mathematicians
- pressAlphaSignal: Meta's Muse Spark helped mathematicians solve five open research problems
id: 2026-10-02-meta-muse-spark-six-math-papers · updated 2026-10-03 · open in the interactive timeline