被ai核弹轰炸的八月和九月#

数学核弹#

在b站刷到一个up主分析学爱好者，每天同步ai在数学方面的进展。其实早就看了，最早好像是四月份，openai内部模型解决了单位距离猜想，最近更新越来越频繁，也从数学核弹变成了光粒级打击，二向箔打击。从最开始的评论质疑ai到底是不是靠强大算力来硬解猜想，到现在感叹ai到底多么强大，最近疑似又有一个千禧年问题被claude解决了 以及claude用lean形式化费马大定理证明 因为这些视频我也稍微了解了一下这些高级数学相关 有个叫做p=np问题的确实是非常神秘啊，不过这个问题我感觉肯定是伪命题，说不定哪天ai大人就给出反例了呢

ai大人还是太强了#

以及数学这么 在传统认知中非常需要人类智慧，也是人类智慧结晶的学科就被这样核弹轰炸了。虽然确实很惊异，不过数学确实是非常好量化的吧（在我的浅薄认知中），对就是对错就是错，不像抽象的现实世界有各种混乱的情况，各种乱七八槽的变化不断影响着结果和过程。其实数学对ai来说也不过是通往agi路上的一个小门槛？