ذكاء اصطناعي صيني يحل مسألة رياضيات حيرت العلماء لعقد من الزمن