Martes 27 de octubre de 2026 ·
OpenAI asegura que su IA resolvió tres problemas de matemáticas, informática y física
OpenAI asegura en un blog que modelos internos suyos han producido demostraciones de tres resultados en matemáticas, informática y física. Uno cuestiona la hipótesis del tiempo exponencial (ETH) sobre el problema SAT de satisfacibilidad, y otro prueba una parte de un problema del milenio. Las demostraciones de matemáticas e informática están traducidas a Lean, pero los expertos externos deben verificar que los resultados son correctos.
Qué significa
Si los expertos confirman las pruebas, sería un caso de IA produciendo investigación matemática y teórica de alto nivel. Por ahora son afirmaciones de la empresa, pendientes de revisión independiente.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- The Decoder (DE)Leer la noticia completa en The Decoder (DE)
También ese día
Todas las noticias de IA del martes 27 de octubre de 2026 ->