Les rivaux de l'IA s'attaquent au problème de Yang-Mills en physique

Les équipes d'OpenAI et d'Anthropic s'attaquent à une énigme fondamentale

Les travaux sur les fondements mathématiques de la théorie de jauge moderne ont suscité l'intérêt des grands développeurs d'intelligence artificielle. Comme le rapporte Science, OpenAI et une équipe de recherche liée à Anthropic ont tous deux documenté des avancées sur le problème d'existence de Yang-Mills. Ce problème figure parmi les défis non résolus les plus célèbres de la physique mathématique.

Les méthodes computationnelles rencontrent la physique théorique

Ces efforts parallèles montrent comment les grands laboratoires testent leurs systèmes sur des démonstrations mathématiques rigoureuses plutôt que sur les benchmarks logiciels habituels. Selon le compte rendu publié par Science, les deux groupes rivaux se sont concentrés sur les critères d'existence au sein de la théorie de Yang-Mills, apportant une innovation computationnelle à un problème qui déconcerte les chercheurs depuis le milieu du XXe siècle.

Ce que ces recherches impliquent pour la vérification future

Les progrès documentés par Science suggèrent que les modèles de machine avancés pourraient bientôt jouer un rôle régulier dans la vérification d'équations physiques complexes. Les observateurs attendent de voir si les équipes publieront des manuscrits formels ou des outils logiciels validant leurs travaux, ce qui pourrait influer sur les futurs dépôts de brevets et de logiciels autour du raisonnement mathématique automatisé.

À lire aussi sur The Patent : Le GAO avertit que les objectifs de réduction du retard de l'USPTO risquent d'échouer sous la pression des effectifs · Un accélérateur laser compact génère de brillants rayons X dans la fenêtre de l'eau en modèles informatiques