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 OneMillion_AI, 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 resultado publicado por OpenAI; la comunidad matemática aún no ha completado la revisión por pares independiente, por lo que la demostración todavía no se reconoce oficialmente como una solución definitiva.
Aviso legal: La información en esta página puede provenir de fuentes de terceros y es solo para referencia. No representa las opiniones ni puntos de vista de Gate y no constituye asesoramiento financiero, de inversión ni legal. El comercio de activos virtuales implica un alto riesgo. No te bases únicamente en la información presentada en esta página para tomar decisiones. Para más detalles, consulta el Aviso legal.
Comentar
0/400
Sin comentarios