// HDBLOG — INTELLIGENZA ARTIFICIALE Claude verifica il Teorema di Fermat: 10 anni di lavoro in 11 giorni Published: 09/09/2026, 06:35 Claude trasforma il Teorema di Fermat in una prova verificabile dal computer.