Tecnología
Redaccion
Anthropic formaliza la demostración del Último Teorema de Fermat con inteligencia artificial
La empresa Anthropic utilizó su modelo de inteligencia artificial Claude para convertir en código verificable la compleja demostración ...