“La matematica sta subendo il cambiamento più grande della sua storia.” Felice di vedere il nostro agente matematico #Aletheia presentato da @newscientist sui suoi risultati alla prima sfida di FirstProof, insieme ad altri traguardi interessanti nella ricerca sull'IA per la matematica! Implicazioni da considerare. Link nel thread.