Salve, stamattina leggendo un po le news di google mi imbatto in questa notizia:
https://mathscholar.org/2019/04/google- ... -theorems/
voi cosa ne pensate?
Nel senso, le dimostrazioni sono ottenute da un ragionamento o non è altro che un recuperare le dimostrazioni da un database? Inoltre le prove sono o no corrette? Secondo voi può influenzare in qualche modo la storia della matematica e anche il "mestiere" del matematico?
Sono veramente curioso di sapere cosa ne pensate, ovviamente sempre se avete interesse nel parlarne.