OpenAI攻破张益唐未竟的Siegel零点难题,数学家与AI接力把证明缩到5页
OpenAI于10月6日公开700多篇数学手稿,其中一篇8页论文证明Landau–Siegel零点不存在,这道从1935年悬置的难题此前张益唐曾两度冲击未果。牛津数学家Ben Green在与ChatGPT 6 Astra的协作中把证明压到5页,并在论文首页声明不主张任何人类原创性。
前沿数学的工作方式在改变,AI率先产出论证,人类数学家转为读懂、压缩并讲解结果,重心从找到答案转向核验答案。
- 影响AI先行产出、专家负责核验与讲解的分工已在数学界出现;长期在研课题存在被AI提前覆盖的可能;结果无人能答疑带学生的传承风险随之而来。
- 参考可考虑在研发团队小范围试验AI协作流程,先定好人工复核与讲解由谁承担;值得盘点在研课题清单,评估哪些存在被AI快速覆盖的可能。