Gemini 4 Argon de Google a permis de découvrir de nouvelles solutions mathématiques liées à la fusion nucléaire. Les premiers candidats ont été trouvés en quelques heures, selon les chercheurs. Il s'agit d'une amélioration par rapport aux travaux antérieurs, qui réfutaient une conjecture formulée en 1967. Les applications pratiques concernent les tests de logiciels simulant les champs magnétiques pour la recherche sur la fusion.
La conjecture porte le nom du physicien Harold Grad. Il aborde les équations régissant l'équilibre du plasma et le champ magnétique qui l'entoure. L'objectif est d'identifier des équilibres stationnaires tridimensionnels compatibles avec un ensemble donné de conditions de pression et de symétrie.
Comment les nouvelles solutions ont été trouvées
La recherche publiée sur arXiv est le résultat d'un effort conjoint d'Opal Issan, Jonathan Citrin, Matt Landreman et Brendan Tracey. Les auteurs ont généralisé les deux familles de solutions ci-dessus en utilisant dans chacune un paramètre qui brise la symétrie de Stellarator. Les Stellarators sont des appareils à fusion qui utilisent des champs magnétiques tridimensionnels pour contenir du plasma.
Afin de trouver des généralisations à partir de familles de solutions connues, les auteurs ont transmis les recherches et les questions ouvertes de Landreman à une petite équipe d'agents Gemini 4 de Google Antigravity. Les avancées évoquées par les chercheurs ont été réalisées en quelques heures.
Argon de Google a également contribué à la rédaction de parties du manuscrit, ainsi qu'au codage des contrôles symboliques et numériques. Les auteurs humains ont supervisé le processus de recherche et effectué plusieurs séries d’examens contradictoires ainsi que la réécriture du manuscrit.
Les chercheurs ont à nouveau dérivé et testé symboliquement chaque développement et ont assumé la responsabilité du résultat final. La période mentionnée fait référence à la période pendant laquelle les agents d’IA ont trouvé les premiers candidats prometteurs.
Au vu de l’exemple évoqué ci-dessus, on peut dire que le crédit a été partagé. Gómez-Serrano, Liehr et Taylor avaient présenté d'autres contre-exemples à Grad le 21 septembre 2026. Leurs solutions ne présentent pas les symétries de réflexion planaire, axiale ou hélicoïdale postulées par la conjecture. Son résumé de recherche comprend une note de passage sur Lean 4, un assistant de preuve mathématique.
Landreman a ensuite présenté ses solutions analytiques le 22 septembre 2026. Selon lui, les solutions analytiques qu'il a pu trouver à l'aide du GPT-6 Astra Pro ont été vérifiées manuellement par lui. La version révisée a été publiée le 28 septembre. Lorsque le problème a été présenté aux agents Gemini, ils avaient déjà à la fois les solutions de Landreman et des questions spécifiques auxquelles il fallait répondre.
Le sceau d'approbation du Lean 4 apparaît dans les recherches de Gómez-Serrano et de ses collaborateurs. L'article Gemini mentionne également un autre contrôle. Les chercheurs ont également effectué des calculs qui ont été vérifiés symboliquement. Le manuscrit susmentionné ne déclare pas de sceau d’approbation Lean pour les résultats. La mention du code de vérification symbolique et numérique ne permet pas non plus de considérer le sceau comme acquis.
Accès à Argon et publication scientifique
D’autres exemples de la manière dont l’intelligence artificielle a facilité la recherche sur la fusion nucléaire sont disponibles dans la bibliothèque de journaux de septembre 2024. Les scientifiques ont utilisé la nouvelle technologie pour étudier les modèles de turbulence et détecter les défauts des soudures.
Google a mentionné la recherche lorsqu'il a annoncé le lancement d'Argon pour un usage commercial le 13 octobre 2026. Argon est désormais disponible via API et pour les abonnés Google AI Pro et Ultra dans l'application Gemini et en mode Finder AI, et Google AI Ultra en antigravité.
Les candidatures sont également ouvertes pour que 10 000 scientifiques bénéficient d'un accès gratuit de six mois au niveau d'antigravité le plus largement utilisé, sous réserve des conditions d'accès, de capacité et de sélection du programme.
