Una versione sperimentale di Claude , il modello di intelligenza artificiale sviluppato da Anthropic , ha completato la traduzione in codice informatico della dimostrazione del Teorema di Fermat . Lo ha...leggi di più »