AI tocmai a trecut un prag în matematică. @tachim CEO @HarmonicMath despre modul în care AI schimbă verificarea matematică: "Acum un an, formalizarea demonstrațiilor cu AI era practic imposibilă. Acum este acceptat foarte repede." "Înainte, dacă rezolvai o problemă a lui Erdő, aveai nevoie de un profesor care să garanteze, riscându-i reputația și petrecând mult timp." "Oricine poate încerca o soluție, să o formalizeze și toată lumea poate fi sigură că este corectă."