这下真绷不住,Claude在黎曼猜想领域做出重大突破,零点比例由41%推进至67%。我也要瘫坐眩晕仿佛看到原子弹爆炸了。看来数学领域也不是人类的乐土,只希望在创造新范式方面,ai还无法攻克,让最后堡垒能够坚守。数学证明的价值在不断缩水,这意味着的当然是又一次数学革命,并且也无疑是又一次工业革命。也许还说明grothendieck这位数学教皇又一次验证了他的超前观点,那就是证明并不重要,解决数学问题应当是平凡的、自然而然的过程,竞争成为第一名是没有意义的,重要的是引入新的工具或者新的思想。眼下谁都不知道ai技术会是像围棋的阿尔法狗那样远远的将人类甩在身后,还是像载人航天那样在短暂的兴盛后长久停滞。当然,或是以一种史无前例的方式走出属于自己的道路也极有可能——毕竟数学本就是独特的。但人类再次被自己的产物所改变这点不会有什么疑问,历史的洪流正欲开动。也许可以戏谑地说一句,为了人类心智的荣耀,成为格罗腾迪克(grothendieck)吧
