Tekoäly ylitti juuri kynnyksen matematiikassa. @tachim toimitusjohtaja @HarmonicMath siitä, miten tekoäly muuttaa matemaattista varmennointia: "Vuosi sitten todistusten virallistaminen tekoälyllä oli käytännössä mahdotonta. Nyt se hyväksytään hyvin nopeasti." "Ennen, jos ratkaisit Erdős-ongelman, tarvitsit professorin todistamaan sen, riskeeraten heidän maineensa ja käyttäen paljon aikaa." "Nyt kuka tahansa voi yrittää ratkaisua, virallistaa sen, ja kaikki voivat olla varmoja, että se on oikein."