证明难题难道就是数学的全部吗？
“在传统数学界，一个重大猜想被人类攻克，会催生大量的研讨会、讲座与跨界合作………商业算力正在工业化收割数学难题，留给人类学者………当时的陶哲轩非常乐观，坚信人类依然是主导者，AI顶多像国际象棋引擎一样给数学家打打下手………谁能料到，短短时间里，攻守之势彻底逆转。AI负责攻克人类难以企及的难题，人类沦为了负责验算和整理笔记的工具人。。。没有人请数学家研讨座谈，没有评奖发钱，主角变助手工具[呲牙]，落差太大了，数学家能不反对吗？不过为什么是华裔中国人带头，是他最难过吗？