Điều này đang bắt đầu xảy ra. Các công cụ AI như Aristotle, tích hợp xác minh chính thức thông qua @leanprover, sẽ giảm đáng kể rào cản gia nhập để trở thành một nhà toán học. Khi làm như vậy, chúng ta sẽ thấy một sự gia tăng lớn về số lượng nhà toán học và tổng lượng nội dung toán học được tạo ra.