La IA resuelve un pilar de 27 años de la informática, según OpenAI y Anthropic
OpenAI y Anthropic afirman que sus modelos han producido una aparente refutación de la hipótesis del tiempo exponencial, un pilar de la informática teórica propuesto en 1999, con pruebas verificadas formalmente en Lean pero aún no confirmadas plenamente por humanos. Science informa de que Anthropic contó más de 800 artículos que asumen la hipótesis, aunque su impacto práctico es limitado por ahora. Importa porque sacude un fundamento teórico de larga data y muestra que los sistemas de IA de frontera alcanzan una frontera disputada de las matemáticas, aun cuando la verificación sigue incompleta.
FUENTES
- Hacker News (AI)2026-11-03 17:43