一個困擾人類長達近一個世紀的著名數學難題，最終被 AI 攻克了。🔗