AI właśnie przekroczyło próg w matematyce. @tachim CEO @HarmonicMath o tym, jak AI zmienia weryfikację matematyczną: „Rok temu formalizacja dowodów z AI była praktycznie niemożliwa. Teraz jest akceptowana bardzo szybko.” „Wcześniej, jeśli rozwiązałeś problem Erdősa, potrzebowałeś profesora, który to potwierdzi, ryzykując swoją reputację i spędzając znaczną ilość czasu.” „Teraz każdy może spróbować znaleźć rozwiązanie, sformalizować je, a wszyscy mogą być pewni, że jest poprawne.”