Diario di un matematico non praticante

AxiomProver non solo dimostra teoremi, ma dimostra formalmente la dimostrazione. Ma non basta ancora per fare il matematico.

.

Vi siete mai chiesti perché i matematici sono così fissati con le notazioni? C’è una ragione molto semplice: servono davvero.

Alcuni matematici avevano già avuto dei dubbi, ma ora sono state trovate le prove: Cantor ha ideato la teoria degli infiniti, ma il suo articolo fondamentale è stato in parte un plagio.

Abbiamo letto tanti titoloni su come le IA sarebbero ormai in grado di risolvere i problemi matematici che hanno tormentato generazioni di matematici. La realtà è un po’ diversa: la creatività non c’è ancora.