跳到正文
新智元· ASI启示录·· 19 小时前精选AI 评分40

张益唐未竟难题被OpenAI攻破!人类联手GPT-6接力两周,证明只剩5页

AI 导读

牛津数学家Ben Green与ChatGPT 6 Astra通过边聊边推的vibemathing得到排除Siegel零点的5页证明,并在论文首页声明不主张任何人类原创性。

推荐理由

梳理了从OpenAI手稿到5页证明的完整接力链条,可看清AI与数学家在证明压缩中的分工变化。

来源:新智元 · mp.weixin.qq.com