La voie ordinaire de Meta vers les mathématiques de recherche

Le 2 octobre 2026, la division de recherche de Meta a publié six articles de mathématiques de niveau recherche, issus de la collaboration entre des universitaires extérieurs et le modèle Muse Spark dans ses versions 1.1 et 1.2. Meta insiste sur la différence de méthode : pas de système agentique construit pour l'occasion, mais le chat ordinaire de meta.ai en 'Thinking Mode', sans infrastructure de recherche sur mesure. Au fil de plusieurs mois, les chercheurs humains ont choisi les problèmes et les stratégies de démonstration, puis vérifié les calculs produits par le modèle et comblé les lacunes de ses raisonnements. Selon Meta, un second groupe de mathématiciens a ensuite relu le travail de manière indépendante.

Les résultats touchent six domaines scientifiques, dont l'optimisation et l'algèbre non associative. En théorie des groupes, l'article signé par les mathématiciens Joseph Phillip Brennan et Milana Golich réfute une conjecture formulée en 2024 par M. Kida en exhibant un contre-exemple précis — un groupe semi-abélien fini d'ordre 384 — grâce au code de recherche GAP généré par le modèle, comme l'a documenté le média AlphaSignal. L'antériorité, toutefois, n'est pas entière : le billet de Meta lui-même signale que dans au moins trois cas, d'autres sont parvenus à des résultats parallèles à la même période : trois travaux d'août 2026 sur l'ajustement d'ellipsoïdes gaussiens, un contre-exemple différent sur les groupes semi-abéliens trouvé par l'agent artificiel Nilradical le 16 septembre, et les contre-exemples de Hu et Wen sur les algèbres d'évolution.

La prudence s'impose aussi sur le plan méthodologique. Les textes sont diffusés en PDF sur le site de Meta et le billet de présentation n'indique pas qu'ils aient été soumis à une relecture par les pairs dans des revues scientifiques. En outre, l'étude sur l'ajustement d'ellipsoïdes gaussiens reconnaît explicitement, dans le texte même de l'article, que le comportement au seuil critique reste non résolu. Meta ne fournit aucune donnée sur le nombre de tentatives échouées et abandonnées, ni sur le temps réellement gagné par les chercheurs ; il manque aussi une quantification exacte de la contribution du modèle à chaque travail, même si les documents précisent quels passages ont été rédigés par l'intelligence artificielle.

L'expérience suggère qu'un chat public, sans échafaudage construit autour, peut lui aussi contribuer à la recherche : la fréquence à laquelle il y parvient reste cependant hors des données, car les tentatives restées sans résultat n'ont pas été comptées. Dans les six cas racontés, la rigueur est restée confiée au contrôle humain. Plus qu'un mathématicien autonome, le modèle apparaît comme un outil pour explorer des idées, chercher des contre-exemples et écrire le code qui part à leur recherche — dans le cas des groupes semi-abéliens, cela a suffi à faire tomber une conjecture de 2024 — et son utilité réelle dépend de la patience de ceux qui en vérifient les limites. — Olya