Claude formalizza l’Ultimo Teorema di Fermat in Lean in 11 giorni
Claude di Anthropic ha completato in 11 giorni la prima formalizzazione end-to-end verificata al computer dell’Ultimo Teorema di Fermat, trasformando una delle dimostrazioni più complesse della matematica moderna in codice…