OpenAI a de nouveau annoncé hier trois découvertes majeures couvrant les mathématiques, l’informatique et la théorie quantique des champs :

Repartage — contenu de Vincent Champain

OpenAI a de nouveau annoncé hier trois découvertes majeures couvrant les mathématiques, l'informatique et la théorie quantique des champs :

– Mathématiques : Les modèles ont résolu la conjecture du lissage local proposée en 1991, dont les implications s'étendent à la conjecture de Kakeya. Le résultat a été produit par l'IA le 18 octobre 2026 puis formalisé en Lean le lendemain.

– Informatique : Le système a réfuté l'hypothèse du temps exponentiel (ETH), une conjecture historique liée au problème P contre NP. Cette découverte remet en cause des centaines d'articles établissant des limites de difficulté de calcul.

– Physique : L'IA a fourni une preuve d'existence mathématiquement rigoureuse de la chromodynamique quantique (QCD) et de la théorie pure de Yang-Mills, répondant ainsi à une partie du problème du prix du millénaire.

L'IA ne se contente plus d'assister l'analyse, elle génère désormais des résultats dignes des prix les plus prestigieux dans leur domaine.

À long terme, cette capacité va accélérer massivement la compréhension scientifique et la capacité à résoudre des problèmes difficiles : les chercheurs de demain seront outillés par l'IA et le moindre thésard aura à sa disposition des centaines d'agents capables de trouver des résultats qui auraient demandé une thèse il y a peu.

Cependant, le court terme pose de sérieux défis d'adaptation. D'une part, l'intégration de ces modèles demande un effort lourd de vérification et de formalisation – derrière les annonces d'OpenAI il faudra des semaines pour valider les preuves automatiques (sur l'exploit précédent d'environ 300 résultats, 3 présentaient des problèmes sérieux).

D'autre part, cette transition crée une asymétrie immédiate. Les chercheurs ou les systèmes nationaux de recherche moins familiers avec ces outils ou avec les langages de vérification formelle risquent un décrochage rapide.

Mais la direction de l'évolution ne fait aucun doute, et les outils vont sans doutes progresser (à la fois pour etre plus puissants, avoir moins d'erreur, mais aussi se mettre à la disposition d'utilisateurs non experts). Souvenez vous des premières images IA de chatgpt début 2023, en comparaison avec ce que l'IA fait en 2026…

https://lnkd.in/en9z5t8E

Sources LinkedIn

• Profil : Pierre Jean Duvivier dit Sage (LinkedIn)
• Auteur partagé : Vincent Champain (LinkedIn)