Inteligencia IAJul 10, 2026Inteligencia IA
Articulo
El GPT-5.6 Sol Ultra de OpenAI ha producido una prueba para la conjetura matemática 'Cycle Double Cover Conjecture' de décadas de antigüedad.
Esto resalta la creciente capacidad de los modelos de IA para abordar problemas científicos complejos, pero también plantea preguntas sobre la verificación de dichas pruebas generadas por IA.
Redaccion Data Cube AIFuente: Hacker News
01
Resumen fuente
El GPT-5.6 Sol Ultra de OpenAI ha producido una prueba para la conjetura matemática 'Cycle Double Cover Conjecture' de décadas de antigüedad. Esto resalta la creciente capacidad de los modelos de IA para abordar problemas científicos complejos, pero también plantea preguntas sobre la verificación de dichas pruebas generadas por IA.
02