Meta's Muse Spark model wrote six papers with mathematicians: in five it answered previously open questions
Prepared by Sintelligent with the help of SI. Publication time restored from the build log. . Updated: .
SI is no longer only solving ready-made problems: it helps people find answers to questions nobody had solved before, and the boundary of the possible is shifting.
Mathematicians worked for several months with Muse Spark 1.1 and 1.2 in thinking mode through the ordinary meta.ai chat, without special scaffolding: the model helped compute, check arguments and rewrite proofs, while humans steered the search and verified the results. The papers note which fragments were written by the researchers and which by the SI. The results include a disproved 2024 conjecture about semi-abelian groups, a proof of finite-time wave collapse for the biharmonic nonlinear Schrödinger equation, and a threshold for fitting random points inside an ellipsoid in high dimensions; the sixth paper is exploratory.
Sources 1