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