Ancien député, Cédric Villani est mathématicien et lauréat de la médaille Fields 2010. Il se produit chaque lundi à 21 heures au Théâtre de Poche, à Paris, dans « Mathématique en poésie », une conférence à la fois littéraire et scientifique.

LE FIGARO. - OpenAI a présenté plus de 719 manuscrits, répartis en 372 familles, prétendant résoudre près de 400 résultats mathématiques. Concrètement, de quoi parle-t-on ?

Cédric VILLANI. - Le public doit comprendre qu’on ne parle pas de résultats mineurs. Chaque année, 100.000 à 200.000 nouveaux théorèmes sont démontrés à travers le monde. Mais ici, il s’agit ici de problèmes ouverts, identifiés de longue date, dont les résultats étaient attendus. C’est une démonstration de force de la part d’une grande entreprise américaine, et c’est ainsi qu’il faut la voir.

Ces systèmes capables de produire de nouveaux théorèmes, qui s’appuient sur l’ensemble du corpus mathématique publié à ce jour, fonctionnent comme des démonstrateurs automatiques. Ils…