L’IA fait tomber un pilier vieux de 27 ans de l’informatique, affirment OpenAI et Anthropic

OpenAI et Anthropic affirment que leurs modèles ont produit une apparente réfutation de l’hypothèse du temps exponentiel, un pilier de l’informatique théorique proposé en 1999, avec des preuves vérifiées formellement dans Lean mais pas encore entièrement confirmées par des humains. Science rapporte qu’Anthropic a dénombré plus de 800 articles qui supposent cette hypothèse, même si son impact pratique reste limité pour l’instant. Cela compte parce que cela ébranle un fondement théorique de longue date et montre que les systèmes d’IA de pointe atteignent une frontière disputée des mathématiques, alors même que la vérification reste incomplète.

• Hacker News (AI)2026-11-03 17:43