La Matematica in circolazione è tutta sbagliata?

[axpgn]

Mi sono imbattuto per caso in questo articolo; lasciando perdere il titolo e lo stile poco scientifico (e non ho neppure idea di chi sia l'autore né che sito sia), la sostanza però è chiara: cosa ne pensate?

Cordialmente, Alex

[Vidocq]

Non ho letto l'articolo.
Prendo atto del titolo del 3D.
Da qui in poi.

[otta96]

Anche io mi ci sono imbattuto e penso che sia solamente un'esagerazione di una preoccupazione tutto sommato condivisibile.

[gugo82]

La soluzione non è avere fiducia in una scatola vuota, ma imparare a fidarsi degli altri e del tempo che passa.

[Bokonon]

Il professore, che auspica un massiccio futuro utilizzo del PC come strumento per controllare ma anche per formulare strategie di soluzione dei teoremi/congetture, è Kevin Buzzard.
https://www.youtube.com/watch?v=Dp-mQ3HxgDE
Il video è piuttosto noiosetto. Spiega le sue ragioni e presenta gli sviluppi fatti con Lean (il programma che ritiene più promettente) negli ultimi due anni. In pratica gli studenti lo stanno aiutando ad inserire in modo corretto le formalizzazioni matematiche in modo che Lean possa capirle ed utlizzarle (insomma una sorta di database).