Останні розробки в галузі штучного інтелекту докорінно змінили математику, навчившись генерувати та формалізувати складні доведення без допомоги людини. ШІ тепер здатен створювати глибокі теореми, які раніше вважалися неможливими для формалізації за такі короткі терміни.