Yapay zeka matematikte bir eşiği aştı. @tachim CEO, yapay zekanın matematiksel doğrulamayı nasıl değiştirdiği hakkında @HarmonicMath: "Bir yıl önce, yapay zeka ile kanıtları resmileştirmek neredeyse imkansızdı. Şimdi çok hızlı kabul ediliyor." "Eskiden, bir Erdős problemini çözdüğünde, bir profesörün bunu garanti etmesine ihtiyacın vardı, böylece itibarlarını riske atıyor ve önemli zaman harcıyordun." "Artık herkes bir çözüm deneyebilir, resmileştirebilir ve herkes bunun doğru olduğundan emin olabilir."