Anthropic anunció recientemente que su IA Claude completó de forma independiente la prueba formal del Último Teorema de Fermat en 11 días, generando aproximadamente 13 millones de líneas de código verificables línea por línea por máquina, y ya ha sido validada por el matemático Kevin Buzzard. Este trabajo fue impulsado en paralelo por decenas de agentes de Claude, utilizando la herramienta de colaboración Prove2Me desarrollada por el grupo de Peng Tian, para coordinar las tareas mediante una lista de tareas en tiempo real; aproximadamente el 7% de las líneas en la prueba provienen de intentos anteriores erróneos, y el proceso de formalización utilizó el lenguaje Lean, lo que permite que cada paso lógico sea verificado por computadora.
xiyuCompartir
Fuente:Mostrar original
Descargo de responsabilidad: La información contenida en esta página puede proceder de terceros y no refleja necesariamente los puntos de vista u opiniones de KuCoin. Este contenido se proporciona solo con fines informativos generales, sin ninguna representación o garantía de ningún tipo, y tampoco debe interpretarse como asesoramiento financiero o de inversión. KuCoin no es responsable de ningún error u omisión, ni de ningún resultado derivado del uso de esta información.
Las inversiones en activos digitales pueden ser arriesgadas. Evalúa con cuidado los riesgos de un producto y tu tolerancia al riesgo en función de tus propias circunstancias financieras. Para más información, consulta nuestras Condiciones de uso y la Declaración de riesgos.