وكالة مشاريع البحوث المتقدمة الدفاعية (DARPA) تسعى لتسريع بحوث الرياضيات باستخدام الذكاء الاصطناعي

تعتقد وكالة مشاريع البحوث المتقدمة الدفاعية الأمريكية (DARPA) أن تقدم الرياضيات بطيء للغاية، وقد أطلقت مشروع expMath لتسريع البحث باستخدام الذكاء الاصطناعي. والهدف هو إنشاء "مؤلف مشارك" من الذكاء الاصطناعي قادر على اقتراح وإثبات التجريدات الرياضية. وعلى الرغم من تفوق الذكاء الاصطناعي في الرياضيات الأساسية، إلا أن معالجة المفاهيم المتقدمة تمثل عقبة كبيرة. ويعتمد نجاح المشروع على التغلب على هذا القيد، والذي قد يتطلب اتباع نهج يتجاوز تقنية نماذج اللغات الكبيرة الحالية، واستكشاف طرق بديلة مثل الإدخال البصري أو السمعي.