Miércoles 28 de octubre de 2026 ·
OpenAI y Anthropic reclaman haber refutado la hipótesis ETH, vigente desde hace 25 años, con pruebas formalizadas en Lean
OpenAI y Anthropic sostienen que sus sistemas de IA han encontrado un algoritmo que contradice la hipótesis del tiempo exponencial (ETH) sobre el problema 3-SAT. Anthropic dice que su modelo Claude lo halló sin intervención humana, con unos 14 millones de tokens de salida, y que lo formalizó en Lean 4. Ambas afirmaciones siguen en verificación comunitaria.
Qué significa
Si la prueba se sostiene, los más de 800 trabajos que dan por firmes ciertos límites de tiempo bajo la ETH tendrían que revisarse. La velocidad de los programas que resuelven problemas reales es otra cuestión distinta.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- #LLMタグLeer la noticia completa en #LLMタグ
También ese día
Todas las noticias de IA del miércoles 28 de octubre de 2026 ->