Lean programma
Un teorico dei numeri ha paura che tutta la matematica in circolazione sia sbagliata
"Credo che ci sia una possibilità superiore a zero che alcuni dei nostri più importanti castelli siano fatti di sabbia," ha detto, sostenendo che sia il momento di affidarci alle IA per verificare le dimostrazioni matematiche.
Pubblicità