AI 能否發明新的數學? 來自 DeepMind 和著名數學家陶哲軒的最新論文展示了如何做到這一點。 使用 AlphaEvolve,團隊將 LLM 生成的想法與自動評估相結合,以提出、測試和完善數學算法。 在對 67 個分析、幾何和數論問題的測試中,AlphaEvolve 不僅重新發現了已知結果,還經常對其進行改進——甚至將有限情況概括為通用公式。 結合 DeepThink 和 AlphaProof,這指向了一個未來,AI 不僅僅是協助數學家——它與他們共同進行發現。