GPT-5.6 de OpenAI usa 64 agentes para demostrar una conjetura matemática de 50 años en menos de una hora
Según OneMillionAI, la GPT-5.6 Sol Ultra de OpenAI desplegó 64 subagentes para proporcionar una demostración formal de la conjetura del doble recubrimiento del ciclo, un problema matemático planteado hace aproximadamente 50 años, en menos de una hora. OpenAI ha publicado la solicitud completa y la demostración en su totalidad, además de liberar como código abierto una versión formalizada en Lean. El código ha superado la verificación a través del kernel de Lean. Sin embargo, esto sigue siendo el
GateNews·07-11 01:29
