Meta partnered with mathematicians to solve six open research problems using Muse Spark. Five papers answer previously unsolved questions in probability, differential equations, group theory, optimization, and non-associative algebra. One paper connects number theory and p-adic string theory. Researchers used Muse Spark 1.1 and 1.2 in Thinking Mode via the meta.ai chat interface. Each paper marks AI-drafted and researcher-drafted passages. Some solutions were independently found by other teams. Papers follow principles of researcher guidance, peer review, and clear attribution. Meta acknowledges concurrent work by other groups on the same problems.
What changed
Open research problems in mathematics had no published solutions from AI-assisted teams under these principles.
What it unlocks
Mathematicians can now use Muse Spark in Thinking Mode to co-develop proofs and counterexamples for open research problems.
- 6 research papers published
- 384-element group disproves conjecture
- 3 independent works on Gaussian ellipsoid fitting
What you need to act on it
- access to Muse Spark 1.1 or 1.2 via meta.ai
- mathematicians guiding the research
- peer review by separate mathematicians
Sources