يظهر نموذج GPT 5.2 الذي أطلقته OpenAI مؤخرًا قدرات مذهلة في حل مسائل الرياضيات العليا، حيث ساعد في حل 11 من أصل 15 فرضية من مجموعة مشهورة من المسائل التي تم حلها مؤخرًا في مشكلة إيلدش. أشار نيل سوماني (Neel Somani) الذي اختبر النموذج إلى أن قدراته في الاستنتاج "أقوى بشكل واضح"، بينما اعتبر عالم الرياضيات تيرينس تاو (Terence Tao) أن الذكاء الاصطناعي مناسب بشكل خاص لحل تلك المسائل الغامضة والمعقدة التي تُعرف بـ"ذيل طويل". ظهور أدوات التشكيل الرسمية مثل Lean وأدوات المساعدين الذكاء الاصطناعي مثل Aristotle من Harmonic، يعزز هذا الاتجاه بشكل أكبر ويحظى باعتراف الباحثين الأكاديميين.