一水 发自 凹非寺 量子位 | 公众号 QbitAI AI又又又帮陶哲轩解决了一个难题！ 消息来自陶本人最新发帖，他直言不讳地表示： 如果没有AI帮忙，完成同样任务就需要花费数小时 （主要是手动编写代码和调试） 。 甚至，如果没有AI，他也不会决定采用目前已经取得成功的关键策略。 事实上，如果没有AI帮忙，我几乎不可能尝试进行这种数值搜索 （可能会寻求理论渐近分析） 。 由于用的是 GPT-5 ，OpenAI研究员Sebastien Bubeck （微软前AI副总裁&杰出科学家） 也火速转发了一波，由此在社区引发热烈讨 论。 这标志着我们正在进入一个人类与机器共同探索的新时代。 所以，陶哲轩这次用AI解决了什么问题？AI又在其中起了多大作用？ 咱接着康康—— 仅用29行Python代码帮助验证结果 陶哲轩这次要解决的是MathOverflow （专业数学问答社区） 上的一个问题： 除了纷纷回忆和陶神本人类似的经历，网友们无不感慨： 序列lcm(1,2,…,n)是否是高度丰数的一个子集？ | ITTatTruvel Tum | | | --- | --- | | A Home | ls the least co ...