6月1日
5月30日
20:12
12:15
12:15官方账号OpenAI@OpenAI (@OpenAI)
菲尔兹奖得主陶哲轩在 OpenAI 的推文中表示,AI 为研究者创造了更多实验空间,可以测试意想不到的路径,发现原本难以触及的成果。他认为 AI 能赋予研究者追求“更疯狂”想法的自由。这一观点强调了 AI 在加速科学发现和拓展研究边界方面的潜力。
事件专题

推荐理由:陶哲轩的观点直击科研痛点——AI 降低了试错成本,做基础研究或探索性项目的学者值得听听这位顶级数学家的判断。
5月25日
05:28
05:28rohanpaul_ai@rohanpaul_ai
精选
著名数学家陶哲轩(Terry Tao)指出,AI 正在推动数学证明的规模化生产。他将证明写作转化为搜索问题:AI 从目标出发生成数千个小引理,然后通过廉价验证器淘汰大部分,只保留少数有效的。这种方法使得大规模数学生产成为可能,改变了传统数学研究的范式。

推荐理由:陶哲轩的观察揭示了 AI 在数学研究中的新应用方向——将证明转化为可规模化的搜索问题,做数学研究或 AI 推理的开发者值得关注这一思路。
5月17日