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

- 原标题：张益唐未竟难题被OpenAI攻破！人类联手GPT-6接力两周，证明只剩5页
- 类型：博客
- 来源：新智元
- 发布时间：2026-10-26
- 首次精选：2026-11-03 21:30
- 分级：值得看
- 是否付费：免费（全文公开可读）
- 预估学习时长：约 5 分钟（按全文字数估算）
- 学习层级：进阶
- 主题：[ai-mathematics-proofs](<https://oplearnx.com/md/topics/ai-mathematics-proofs.md>)（第 3 位）
- 原文链接：[https://aiera.com.cn/asi-post.html?id=120584](<https://aiera.com.cn/asi-post.html?id=120584>)
- 本站页面：[https://oplearnx.com/resources/pk\_e4787ee81a64](<https://oplearnx.com/resources/pk_e4787ee81a64>)

## 摘要

新智元报道称 OpenAI 公开的手稿中包含一份排除 Landau–Siegel 零点的证明，随后数学家 Ben Green 与 ChatGPT 6 Astra 合作把证明压缩到 5 页，Green 在论文首页声明不主张人类原创性。文中按时间线叙述多位数学家接力改写、缩短证明的过程，并解释 Siegel 零点在素数分布研究中的作用及其与黎曼猜想的区别。适合对 AI 参与数学研究与证明形式化感兴趣的人阅读。

---
来源：LearnMap · 学径（https://oplearnx.com）