人类数学家最后的高光可能已经永远过去,未来所有的数学难题都由ai攻克,证明稀缺已经成为过去,人类验证成为新的瓶颈。这结论不是大爷讲的,是陶哲轩的最新文章,ai时代的数学。就在程序员之后,数学家也被取代。 发布于 北京