以前人类花很多心力在证明上
证不出来数学发展就卡住
未来可以把证明这个苦工交给AI
不过AI没有目的性，也不知道该证明什么，什么有用
最珍贵的反而是看出该证什么，什么是重要的
提出关键猜想并引导AI证明才是最有价值的
就像计算机将人类从计算中解脱一样
可以专注在数学直觉
※ 引述《lllll12b56 (张航嘉)》之铭言：
: 万物皆数学 数学就是大自然的语言
: 看现在AI解数学的速度已经远远超过人类极限
: 之后如果什么量子力学 暗物质 核融合
: AI都能算出背后真正的原理
: 世界会不会发生很多改变?