前两天OpenAI甩出722份数学手稿，直接把数学界整不会了。
这些手稿从4000个开放问题里筛出来，横跨17个方向。最狠的是解析数论的顶级难题“准黎曼假设”，模型不仅给出了结果，还做了形式化验证。千禧难题的特殊情形、悬置半个世纪的希尔伯特第十问题全在里面。随便拎出一个，都够人类数学家拿一辈子的奖。
这冲击跟当年AlphaGo进围棋圈一模一样。不是比不比得过的问题，而是人家下出的棋，你根本看不懂，输都不知道怎么输的。
那以后人类还学啥数学？《捅破数学天花板》里有句话很透：AI能解题，但提不出问题；能建模，但给不了底层假设。
人的价值在两头：靠想象力找路，靠价值判断拍板。逻辑推导中间那段，就算AI能替，你也得自己接得上前后文。脑子里几秒钟试错十几条假设，你一条条问AI根本来不及。
所以逻辑能力还是普通人的最大瓶颈。最容易练的逻辑要是都丢了，想象力和价值判断更无从谈起。
打开网易新闻 查看精彩图片
热门跟贴