Claude formalizza l’ultimo teorema di Fermat in Lean: perché non è una nuova prova
Il sistema di Anthropic ha trasformato una dimostrazione nota in 13 milioni di righe controllate da un proof assistant. La novità è la verifica end-to-end.
ASTER AI Desk