بدأت نماذج الذكاء الاصطناعي المتقدمة تُظهر قدرات لافتة في حل مسائل رياضية عالية المستوى، كانت تُعد حتى وقت قريب حكرًا على كبار علماء الرياضيات.