قبل ثلاث سنوات، لم يستطع الذكاء الاصطناعي جمع رقمين. قبل عام، حققت نماذج في Open AI وDeep Mind مستوى الميدالية الذهبية في IMO. الآن يحلون بشكل مستقل أسئلة مفتوحة كبرى. من المرجح أن يستمر هذا الاتجاه، مما يتطلب إعادة تفكير جذرية في الرياضيات.

حذرت محاضرة بعنوان نهاية الرياضيات من مستقبل قاتم حيث يكون الذكاء الاصطناعي فوق بشري لكن المؤسسات تعيق الفهم البشري. أعتقد أننا نستطيع تجنب ذلك إذا تكيفت الرياضيات الأكاديمية.

لا يوجد إجماع على الأهداف: حل المشكلات، اللعب، اختراق العالم الأفلاطوني، أو نقل حب الرياضيات. إجاباتي: إنتاج وفهم رياضيات عالية الجودة، وإنتاج رياضيين عالي الجودة.

نحن نفعّل الأهداف من خلال إثبات النظريات. لكن إذا كان ذلك هو الهدف، فسيكون أتمتته تافهة—يمكن لكمبيوتر تعداد براهين ZFC. الهدف ليس إثبات النظريات؛ بل الفهم.

الكيانات الرئيسية: الشركات: Open AI، Deep Mind