L'azienda KI-Anthropic ha pubblicato, secondo le proprie indicazioni, una versione completamente verificata al computer delle prove per l'ultima frase di Fermat. Un gruppo di agenti Claude è stato creato in undici giorni 13 milioni di linee di codice e 29.500 interviste nel sistema di prova Lean.
Lettura del bias (Centro): La relazione si concentra su dettagli tecnici basati su fatti senza contesto politico o giudizi di valore.





