https://autoia.net/tags/science-ouverte/ Recent content in Science ouverte on AutoIA Hugo -- gohugo.io fr Wed, 28 Oct 2026 14:13:04 +0100 https://autoia.net/posts/ia/trois-problemes-vieux-de-plusieurs-decennies-l-ia-d-openai-dit-avoir-trouve-les-reponses-encore-a-verifier/ Wed, 28 Oct 2026 14:13:04 +0100 https://autoia.net/posts/ia/trois-problemes-vieux-de-plusieurs-decennies-l-ia-d-openai-dit-avoir-trouve-les-reponses-encore-a-verifier/ Le 26 octobre, OpenAI a attribué à ses modèles internes trois résultats de recherche fondamentale: la conjecture de Sogge sur les ondes, posée en 1991, démontrée en toute dimension avec celle de Kakeya, la réfutation de l’hypothèse du temps exponentiel, et l’existence de la chromodynamique quantique, qui couvre une partie du problème de Yang-Mills. Les preuves sont formalisées en Lean, mais celle de physique reste réservée au groupe de David Gross, et OpenAI ne revendique aucun crédit académique. Anthropic a revendiqué le lendemain sa propre réfutation, par une autre voie. Deux auteurs de l’hypothèse examinent celle d’OpenAI sans la certifier, et Lean ne garantit pas la fidélité des énoncés.