Viernes 30 de octubre de 2026 ·

OpenAI afirma que su IA ha generado pruebas de problemas abiertos en matemáticas, informática y física

OpenAI anunció el 26 de octubre que su IA produjo demostraciones para problemas abiertos en tres campos. En informática, afirma que refuta la hipótesis del tiempo exponencial (ETH), verificada con el software Lean; en matemáticas, demuestra la conjetura de suavizado local de 1991 en todas las dimensiones, con implicaciones para la conjetura de Kakeya. En física, dice haber probado la existencia de la teoría de Yang-Mills pura, aunque esa parte aún no se ha publicado y la revisarán investigadores externos.

Qué significa

Si la demostración sobre la ETH se confirma, cientos de artículos que daban por hecho que ciertos problemas de grafos, bases de datos o biología computacional son difíciles de resolver con eficiencia tendrían que revisar sus premisas.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del viernes 30 de octubre de 2026 ->