新智元· ASI启示录·2026-10-25 15:14· 19 小时前精选AI 评分40张益唐未竟难题被OpenAI攻破!人类联手GPT-6接力两周,证明只剩5页AI 导读牛津数学家Ben Green与ChatGPT 6 Astra通过边聊边推的vibemathing得到排除Siegel零点的5页证明,并在论文首页声明不主张任何人类原创性。推荐理由梳理了从OpenAI手稿到5页证明的完整接力链条,可看清AI与数学家在证明压缩中的分工变化。来源:新智元 · mp.weixin.qq.com论文研究#论文/研究#其他