GPT-5.6 llama a 64 Agentes para proponer una prueba de la conjetura de 50 años

OpenAI ha utilizado GPT-5.6 Sol Ultra para llamar a 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 sido verificado a través del núcleo de Lean. Actualmente, la comunidad matemática no ha completado la revisión independiente, por lo que este resultado solo puede ser denominado "prueba presentada" y no puede ser considerado como "solución formal" directamente.

Este contenido se ofrece únicamente con fines informativos generales y no constituye 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, tradear 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.