AI數學

OpenAI 稱 10,000 個 AI 智能代理在 88 小時內解出一個價值 100 萬美元的數學問題，這引發了關於證明、驗證與 AI 研究的疑問。

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