Claude Fable 5.2 lidera pruebas y formaliza Fermat en 30 horas

Unos 1.000 agentes de Claude Fable 5.2 formalizaron la demostración del último teorema de Fermat en 30 horas, según Anthropic.…

lee más