Ini mulai terjadi. Alat AI seperti Aristoteles, yang memanggang dalam verifikasi formal melalui @leanprover, akan secara dramatis menurunkan penghalang masuk untuk menjadi ahli matematika. Dengan demikian, kita akan melihat peningkatan besar dalam jumlah matematikawan dan jumlah total konten matematika yang dihasilkan.