标签
Frank Calegari 在陶哲轩的博客上以客座身份发文,主张数学家应拥抱AI的飞速进展,而非因OpenAI发布700多篇数学研究论文而感到沮丧,并将这一时刻比作1980年代有限单群分类的完成。
OpenAI发布了此前"解决开放数学问题"声明背后的完整论文:涵盖722份数学手稿、372项重要成果,均来自对约4000个研究问题的测试筛选,每项成果平均消耗相当于ChatGPT Pro思考3小时的算力。
一项实验在RTX 3090上运行了Qwen 3.8 27B模型63小时,试图解决黎曼猜想,展示了自主推理、自我纠正和无幻觉的能力。
指控称OpenAI可能在未发表的数学研究上训练其Astra模型,引发了对知识产权盗窃和AI开发中潜在大规模不当行为的担忧。
陶哲轩讨论了AI如何大幅加速数学研究,减少了为进入研究前沿所需的教育年限。