搜索
OpenAI 联手数学家攻破零点猜想 证明仅 5 页
1 天前
困扰数论界近百年的Siegel零点难题，近期被AI率先取得突破。随后，数学家们与AI接力合作，仅用12天便将最初的8页证明版本逐步优化至5页。此前，数学家张益唐曾在2007年和2022年两次发文冲击该难题，但其2022年长达111页的论文仅攻克了弱化版本。此次，牛津数学家Ben Green与AI协作完成了5页版本的证明，并在论文首页声明不主张任何人类原创性。该证明采用反证法，假设Siegel零点存在并推导出矛盾，最终证实其不存在，为经典解析数论领域扫清了一大障碍。多位数学家接力参与，不断优化证明、明确参数、简化推导，AI则深度参与各阶段推导与写作，标志着数学研究进入AI与人类协作的新阶段。
