Це починає відбуватися. Інструменти штучного інтелекту, такі як Арістотель, який забезпечує формальну верифікацію через @leanprover, суттєво знизять бар'єр для входу в математику. У результаті ми побачимо значне зростання кількості математиків і загальної кількості математичного контенту, що генерується.