Meta : le modèle Muse Spark résout six problèmes mathématiques ouverts
Meta a publié six articles co-rédigés par des mathématiciens et son modèle Muse Spark, affirmant que ce dernier a résolu six problèmes ouverts via l'interface standard de meta.ai.
Le modèle Muse Spark de Meta a réussi à résoudre six problèmes mathématiques ouverts.
Meta a publié six articles rédigés conjointement par des mathématiciens et le modèle. Selon l'entreprise, les chercheurs ont utilisé les versions Muse Spark 1.1 et 1.2 en « Mode Réflexion » (Thinking Mode) via le chat standard meta.ai, sans recourir à un cadre technique spécifique.
Fait notable, chaque article précise clairement quels fragments ont été écrits par des humains et lesquels par l'IA.
Les résultats couvrent plusieurs domaines des mathématiques : la théorie des probabilités, les équations différentielles, l'optimisation, la théorie des groupes, l'algèbre et la physique arithmétique.
Par exemple, le modèle a réfuté la conjecture de Kida datant de 2024, démontrant qu'un groupe semi-abélien n'est pas nécessairement monomial. Il a également été prouvé que les solutions radialement symétriques d'énergie négative pour l'équation de Schrödinger non linéaire biharmonique s'effondrent en temps fini, une question restée ouverte depuis 2015.
Cependant, en septembre, un autre groupe de chercheurs avait déjà réfuté la conjecture de Kida, également à l'aide d'un agent IA. Meta affirme que ses résultats ont été obtenus indépendamment.
Pourquoi c'est important
AnalyseCette avancée suggère que les modèles de pointe peuvent contribuer à la recherche mathématique authentique, au-delà de la simple génération de code ou de texte. L'attribution explicite entre contributions humaines et IA pourrait devenir une norme utile pour l'édition académique.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs