概念Math 2.0
数学2.0
陶哲轩提出的概念，指AI能够批量生成数学证明、证明不再稀缺的新数学时代，与传统依赖人类专家的数学1.0时代相对
时间轴 (近 90 天)
10月11日
陶哲轩提出数学1.0时代（建立在证明稀缺之上）即将落幕，数学2.0时代已经到来
待验证50%
10月11日
陶哲轩把实现数学2.0的主要瓶颈归结为想象力而非算力
待验证50%
陶哲轩提出的概念，指AI能够批量生成数学证明、证明不再稀缺的新数学时代，与传统依赖人类专家的数学1.0时代相对
陶哲轩提出数学1.0时代（建立在证明稀缺之上）即将落幕，数学2.0时代已经到来
陶哲轩把实现数学2.0的主要瓶颈归结为想象力而非算力