Meta AI a publié six articles de recherche de mathématiciens ayant travaillé avec Muse Spark, dont cinq répondent à des questions jusque-là ouvertes, selon l'article de recherche de Meta et un fil d'annonce du 2 octobre. Les chercheurs ont utilisé Muse Spark 1.1 et 1.2 en Thinking Mode via le chat ordinaire de meta.ai, sans échafaudage sur mesure. Les articles couvrent les probabilités, les équations différentielles, la théorie des groupes, l'optimisation, la physique arithmétique et l'algèbre non associative ; l'article de physique arithmétique établit un lien entre théorie des nombres et théorie des cordes plutôt que de répondre à une question posée.
Comment le travail a été mené
Meta a fixé quatre principes. Une équipe de mathématiciens a guidé chaque projet et travaillé avec Muse Spark pour développer les arguments. Un second groupe l'a ensuite relu. Chaque article indique quels passages ont été rédigés par les chercheurs et lesquels par l'IA. Et chacun cite les travaux antérieurs sur lesquels il s'appuie.
Meta affirme que l'objectif était de donner plus de moyens aux chercheurs, pas de produire des articles en masse. Elle a appris par la suite que des équipes extérieures avaient annoncé de façon indépendante des solutions à certains des mêmes problèmes ; les articles reconnaissent ces travaux.
Les six articles
Probabilités. Dans « The Strict Threshold for Gaussian Ellipsoid Fitting », Aykut Arslan a travaillé avec Muse Spark sur le nombre de points gaussiens aléatoires, en grande dimension, par lesquels peut passer un ellipsoïde centré en un point fixe. L'article démontre un seuil net autour de n ≈ d²/4 points : en dessous, un ellipsoïde existe avec forte probabilité ; au-dessus, il n'en existe presque sûrement aucun. Le comportement exactement au seuil reste non résolu. Les stratégies de preuve ont été développées avec Muse Spark sous la direction d'Arslan et vérifiées par quatre relecteurs, Babak Modami, Alexander Roitershtein, Mark Sepanski et Grigory Sokolov.
Figure 1 de l'article de recherche de Meta.
Équations différentielles. « Finite-Time Blow-Up of Radial Negative-Energy Solutions for the Mass-Critical Biharmonic Nonlinear Schrödinger Equation », de Leonard Dinh, porte sur l'explosion en temps fini d'ondes dans un modèle inspiré des lasers. Pour des ondes à symétrie radiale et d'énergie négative en dimension deux ou plus, il démontre que l'l'explosion doit survenir en temps fini. Cela règle une question restée ouverte en 2015, qu'un article arXiv de 2023 décrivait encore comme ouverte, et confirme une prédiction de 2002 fondée sur des simulations. Dinh a choisi le problème et les idées clés ; Muse Spark a aidé pour les calculs et la révision de la preuve. Fazel Hadadifard et Salem Selim l'ont relu.
Figure 2 de l'article de recherche de Meta.
Théorie des groupes. « Semiabelian Groups Need Not Be Monomial », de Joseph Phillip Brennan et Milana Golich, réfute une conjecture de 2024 de M. Kida selon laquelle tout groupe semi-abélien fini est monomial. Le contre-exemple compte 384 éléments (SmallGroup(384, 20127)). Muse Spark a écrit le programme de recherche GAP qui l'a trouvé ; Golich et ses collaborateurs l'ont vérifié, et Andres Barei et John Portin l'ont relu. Meta cite aussi l'agent d'IA Nilradical, qui a signalé un autre contre-exemple le 16 septembre.
Figure 3 de l'article de recherche de Meta.
Optimisation. Le second article d'Arslan, « Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles », répond à une question posée en 2026 par Del Pia et Khajavirad sur le moment où une relaxation d'un problème d'optimisation polynomiale binaire est exacte. Pour la famille étudiée, la relaxation est exacte lorsque chaque région partagée par exactement deux de trois groupes de décisions qui se chevauchent contient une seule décision, et laisse un écart dans le cas contraire. Muse Spark a aidé à reformuler le problème de façon probabiliste, à identifier un contre-exemple et à développer la stratégie de preuve ; Arslan et Kien Trung Le l'ont vérifié.
Figure 4 de l'article de recherche de Meta.
Physique arithmétique. « String Two-Point Function = Height Function on a Curve », d'Anindya Dey, Gabriel Herczeg, An Huang, Nicolas Jaramillo Torres et Jacob H. Swenberg, relie la théorie des nombres et la théorie des cordes p-adiques dans une direction qu'avait envisagée Yuri Manin dans les années 1980. À partir d'un lien connu pour la courbe de Tate, Muse Spark a aidé à l'étendre à beaucoup plus de courbes, montrant que deux calculs dans des langages mathématiques différents décrivent la même quantité. Muse Spark a généré des preuves candidates et rédigé trois sections techniques centrales, que les chercheurs ont vérifiées.
Figure 5 de l'article de recherche de Meta.
Algèbre non associative. « On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez », d'Andres Barei, réfute un test proposé pour classer les algèbres d'évolution résolubles, une conjecture issue de leur note sur les algèbres d'évolution complètes (arXiv:2512.12418). À partir d'instructions (prompts), Muse Spark a produit une petite algèbre de dimension trois qui passe le test mais n'est pas résoluble, et proposé des caractérisations alternatives. L'article établit aussi une règle de remplacement fondée sur des sous-espaces entiers. Barei l'a vérifié et réécrit ; Nicolás Jaramillo Torres l'a relu.
Contexte
Le travail a utilisé Muse Spark 1.1 (9 juillet) et 1.2 (5 août), et non l'actuel Muse Spark 1.3 du 3 septembre. Meta présente cela comme un prolongement de ses résultats aux Olympiades : début août, elle a indiqué qu'un modèle interne non publié de la famille Muse Spark avait atteint un niveau médaille d'or à l'IMO, à l'IChO et aux Romanian Masters, avec des scores parfaits en théorie à l'APhO et à l'IPhO. La recherche ouverte, contrairement à un concours, n'a pas de corrigé. RuntimeWire décrit un assistant qui apporte du code de recherche, des approches de preuve et des sections rédigées sous la direction d'experts, et non un système qui choisirait son propre programme ; AlphaSignal a titré « Five Open Research Problems ».
Les dix avancées d'OpenAI en juillet reposaient sur un mathématicien nommé qui se portait garant des résultats, et la dispute sur l'attribution du résultat Navier-Stokes a montré à quel point l'attribution peut être contestée. La déclaration des médaillés Fields s'opposait aux annonces précipitées et aux travaux antérieurs non cités. Meta nomme les relecteurs de cinq articles, signale les passages rédigés par l'IA et cite les résultats concurrents.
Trois articles reconnaissent des travaux parallèles indépendants. Sur les ellipsoïdes, Misiakiewicz et Wen ont démontré indépendamment le seuil gaussien (arXiv:2608.10184, soumis le 10 août, en s'appuyant sur Bandeira et Maillard, 2025). De la Cerda, Potechin, Tulsiani et Xu l'ont établi à un facteur multiplicatif tendant vers 1 près, et Koehler et Sohn ont obtenu un résultat d'universalité plus large. Le contre-exemple de Nilradical est le résultat parallèle pour la théorie des groupes, et Hu et Wen ont signalé des contre-exemples à la conjecture sur les algèbres d'évolution.
Meta affirme que le progrès exigera une collaboration étroite entre experts et IA, avec des résultats soigneusement vérifiés.