數學人工智慧

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

中國研究人員開發了TongGeometry，一種在自主問題解決與數學推理能力上超越DeepMind的AlphaGeometry的通用人工智慧（AGI）系統。