GPT-5.6 utiliza 64 agentes para proponer una prueba de la conjetura de 50 años

OpenAI ha utilizado GPT-5.6 Sol Ultra para invocar 64 subagentes, quienes en menos de una hora proporcionaron una prueba para la "conjetura de doble cobertura cíclica". OpenAI ha hecho público el prompt completo y el texto de la prueba, y ha liberado una versión formalizada en Lean, cuyo código ha pasado la verificación del núcleo de Lean. Actualmente, la comunidad matemática no ha completado la revisión independiente, por lo que este resultado solo puede considerarse como "una prueba presentada" y no puede ser directamente calificado como "una solución formal".

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.