ШІ щойно перетнув поріг у математиці. @tachim CEO @HarmonicMath про те, як ШІ змінює математичну верифікацію: «Рік тому формалізувати докази за допомогою ШІ було практично неможливо. Тепер її приймають дуже швидко.» "Раніше, якщо ти розв'язував проблему Ердеша, тобі потрібен був професор, який би поручився, ризикуючи їхньою репутацією і витрачаючи значну кількість часу." "Тепер будь-хто може спробувати розв'язати рішення, формалізувати його, і всі будуть впевнені, що воно правильне."