陶哲轩预言被AI实现

📂 精选资讯 · 📰 量子位

数学家陶哲轩12年前关于AI辅助数学研究的设想已成现实。他近日公开演示用AI工具解决组合数学问题，称当前模型已能理解高级数学概念并给出可信推导。

阅读原文