DeepMind 的 Aletheia AI 透過解決 13 個聲名遠播且極為困難的 Erdős 問題取得突破，展現了在高階數學研究中前所未有的 AI 與人類合作。