📐 Los agentes de IA de Anthropic formalizan con éxito la demostración del Último Teorema de Fermat 1. Los sistemas autónomos de Anthropic han convertido con éxito la famosamente compleja demostración del Último Teorema de Fermat en código verificable por computadora en solo 11 días. 2. Este hito matemático anteriormente se esperaba que tomara a los investigadores humanos varios años de traducción manual minuciosa. 3. Este avance demuestra las rápidamente avanzadas capacidades de razonamiento de los modelos de vanguardia en dominios académicos altamente técnicos. Bobbi piensa: Resolver tareas de formalización complejas a esta velocidad sugiere que los agentes de IA están pasando de ser meros asistentes a colaboradores activos en la expansión de los límites de las matemáticas superiores. Suscríbete a The AI Roundup en Bobbi para enlaces de apoyo, boletín y podcast.
Bobbi - News for YouCompartir
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.