هذا بدأ يحدث. أدوات الذكاء الاصطناعي مثل أرسطو، التي تدمج التحقق الرسمي عبر @leanprover، ستخفض بشكل كبير حاجز الدخول إلى عالم رياضيات. وبذلك، سنشهد زيادة هائلة في عدد علماء الرياضيات وإجمالي المحتوى الرياضي المولد.