هل سيصبح الذكاء الاصطناعي "نبيًا" في عالم الرياضيات؟