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.

Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA