AI har precis passerat en tröskel i matematik. @tachim VD @HarmonicMath om hur AI förändrar matematisk verifiering: "För ett år sedan var det i princip omöjligt att formalisera bevis med AI. Nu accepteras det väldigt snabbt." "Förr, om du löste ett Erdős-problem, behövde du en professor som gick i god för det, vilket riskerade deras rykte och spenderade mycket tid." "Nu kan vem som helst försöka hitta en lösning, formalisera den, och alla kan vara säkra på att den är korrekt."