Muse Spark en maths : ce que ça change pour la superintelligence

Les meilleures SI aujourd'hui

Make Botpress Higgsfield Arcads ElevenLabs

Publicité : ces boutons sont des liens d'affiliation. En savoir plus

Avancées technologiques · 4 octobre 2026

Muse Spark, le modèle d'IA de Meta, a aidé des mathématiciens à rédiger six articles de recherche, dont cinq portent sur des questions encore ouvertes selon Meta. Pour la superintelligence, c'est un pas de plus vers une IA qui contribue à la recherche, mais sous direction humaine, avec des résultats en partie contestés.

Muse Spark et les mathématiques : le 2 octobre 2026, Meta a publié six articles réalisés par des mathématiciens qui ont utilisé son modèle dans le mode « Thinking » de l'interface publique meta.ai, sans outil de recherche sur mesure. L'enjeu dépasse les maths : une IA capable de faire avancer la recherche est l'une des étapes souvent citées sur la route vers l'IA générale et la superintelligence.

Qu'est-ce que Muse Spark, l'IA de Meta ?

Muse Spark est le modèle de raisonnement de Meta, accessible dans le chat meta.ai. Les travaux publiés ont utilisé les versions 1.1 et 1.2. Meta le présente comme la suite logique de résultats de niveau « médaille d'or » obtenus par ses modèles dans des compétitions de mathématiques, de physique et de chimie. La question posée cette fois était plus difficile : l'IA peut-elle aider quand il n'existe ni corrigé ni chemin de solution connu ?

Muse est aussi le nom de l'agent personnel grand public de Meta, présenté dans notre sélection d'agents IA du 25 septembre.

Quels problèmes de mathématiques l'IA a-t-elle aidé à résoudre ?

Domaine	Résultat annoncé
Probabilités	Seuil exact pour qu'un nuage de points gaussiens aléatoires tienne sur une ellipsoïde (le comportement pile au seuil reste ouvert)
Équations aux dérivées partielles	Effondrement en temps fini de certaines solutions d'une équation de Schrödinger non linéaire biharmonique, question ouverte depuis 2015
Théorie des groupes	Contre-exemple à 384 éléments réfutant une conjecture de 2024, trouvé par un programme de recherche écrit par Muse Spark
Optimisation	Résultat sur la précision d'une relaxation fondée sur les cycles
Algèbres d'évolution	Réponse à une conjecture de García-Martínez et Pérez-Rodríguez
Physique arithmétique	Lien entre une fonction à deux points de la théorie des cordes et une fonction de hauteur sur une courbe

Les articles sont signés par les mathématiciens, dont Aykut Arslan (deux articles), Leonard Dinh, Joseph Phillip Brennan et Milana Golich.

Comment les mathématiciens ont travaillé avec l'IA

Les humains dirigent : ils choisissent les problèmes, orientent l'exploration, corrigent les brouillons et vérifient chaque argument.
L'IA propose : pistes de démonstration, programmes de recherche de contre-exemples, rédaction de passages.
Traçabilité : les articles distinguent les passages rédigés par les chercheurs de ceux rédigés par l'IA.
Relecture : une équipe distincte de mathématiciens a relu l'ensemble.

Meta résume l'enjeu ainsi : « la recherche ouverte est différente. Il n'y a pas de corrigé, aucune garantie qu'une approche fonctionnera ».

Limites : des résultats en partie déjà obtenus ailleurs

Meta reconnaît que d'autres équipes ont obtenu certains résultats en parallèle, dans des travaux publiés en août et septembre 2026 (ellipsoïdes, contre-exemple en théorie des groupes).
Un chercheur, Jason Dean Lee, affirme que la moitié des six problèmes avaient déjà été résolus par d'autres, ce qui ramènerait l'apport réellement nouveau à trois résultats. Meta n'avait pas répondu publiquement à cette critique au moment où nous écrivons.
Meta ne donne aucune mesure de coût, de temps gagné ou de nombre de chercheurs impliqués.
Il s'agit de contributions encadrées, pas de découvertes autonomes : l'IA ne choisit pas ses sujets de recherche.

Ce que ça change pour la superintelligence

Ce résultat s'ajoute à une série récente d'IA qui contribuent à la science : le calcul record d'une amplitude de physique par Claude (voir le calcul à neuf boucles et la superintelligence) ou la découverte d'un système d'enzymes par des agents (voir l'enzyme ART trouvée par l'IA). La recherche automatisée est au cœur des scénarios d'accélération : une IA qui améliore la science, puis ses propres méthodes, comme l'illustre l'auto-amélioration de l'IA avec SIFT.

Mais la prudence s'impose : ici, le cadre reste humain de bout en bout et la nouveauté de plusieurs résultats est discutée. Aucune date d'arrivée de la superintelligence ne peut être déduite de ces travaux ; les prévisions en la matière restent des prévisions.

FAQ

Meta IA, c'est quoi ?

Meta AI est l'assistant d'intelligence artificielle de Meta, accessible sur meta.ai et dans ses applications. Muse Spark est le modèle de raisonnement utilisé dans ces travaux de mathématiques.

Une IA peut-elle résoudre seule des problèmes de mathématiques ouverts ?

Pas dans ces travaux : les mathématiciens ont dirigé, corrigé et vérifié. L'IA a proposé des idées, du code et des brouillons.

Peut-on utiliser l'IA en mathématiques gratuitement ?

Selon Meta, les chercheurs ont utilisé l'interface standard de meta.ai. Les conditions d'accès et les éventuelles limites d'usage dépendent du pays et de l'offre de Meta.

Conclusion

Muse Spark montre qu'un modèle grand public peut déjà aider des experts sur des questions ouvertes, à condition d'un encadrement strict et d'une vérification humaine. Suivez les prochaines étapes sur les avancées de la superintelligence, retrouvez l'actualité du jour dans l'actu IA du 4 octobre et les définitions dans notre FAQ.