Cinque anni fa i matematici Dawei Chen e Quentin Gendron stavano cercando di districarsi in un angolo particolarmente complesso della geometria algebrica, che coinvolge l’uso dei differenziali, strumenti del calcolo utilizzati per misurare le distanze lungo superfici…
AxiomProver, l’AI che risolve i problemi matematici che nemmeno gli esperti erano riusciti a decifrare
Per saperne di più
