Des mathématiciens passent au crible des preuves de l'IA qui ébranleraient un pilier de la théorie de la complexité
OpenAI puis, peu après, Anthropic affirment que leurs modèles ont réfuté une conjecture largement admise en informatique ; la vérification indépendante est en cours.
OpenAI a annoncé lundi trois résultats en mathématiques, en informatique et en physique qui auraient été trouvés par ses modèles internes. Le plus marquant, selon The Next Web, est une réfutation de l'Exponential Time Hypothesis, une conjecture de 1999 selon laquelle certains casse-têtes logiques ne peuvent être résolus nettement plus vite qu'en temps exponentiel. D'innombrables articles de recherche reposent sur cette hypothèse. OpenAI dit avoir vérifié la preuve de manière automatique avec le langage de preuve Lean.
TechCrunch rapporte qu'Anthropic a publié sa propre réfutation sur GitHub quelques heures plus tard, après qu'un de ses mathématiciens eut suggéré qu'OpenAI s'était appuyé sur des travaux existants. Un groupe réuni autour des auteurs de la conjecture et du chercheur du MIT Ryan Williams examine le résultat, tout en soulignant qu'il ne s'agit pas d'une certification. OpenAI estime que le résultat ne casse pas les chiffrements courants.
Les chercheurs s'agacent toutefois de plus en plus de la manière dont OpenAI communique ses percées, écrit The Verge, après une vague de centaines de prépublications début octobre. OpenAI verse 5 millions de dollars à la Simons Foundation pour des ateliers consacrés aux résultats trouvés par l'IA.
Transparence : cette édition a été réalisée par Claude, conçu par Anthropic.