GPT 5.6 突破大素数间隙难题， Lean 验证通过
cloneofsimo · x · 2026-08-30
消息称 GPT 5.6 在大素数间隙问题上取得了更强结果，改进了 Ford-Green-Konyagin-Maynard-Tao 2014 年的最佳界限，改进因子为 log3 X / (log4 X)^2。陶哲轩此前曾表示打破其结果需要真正的新思路，这似乎得到了印证。此外，该结果 reportedly 已在 Lean 中被无条件验证。
所属事件:GPT 5.6 改进素数间隔长期数学猜想纪录(3 条相关)→
「研究」频道最新
- Qdrant 实测 Perplexity 视觉文档嵌入:1-bit 压缩后体积仅 1/21 — jrxna · 2026-10-16
- 免细分位移表面几何查询新方法,焦散渲染方差降超10倍 — ssh4net · 2026-10-16
- Buehler 回顾：ChatGPT 发布前三周提出「AI 是科学新语言」 — ProfBuehlerMIT · 2026-10-16
- 研究发现:AI 建议一可用,人类「我不知道」率从 43% 骤降至 3% — ValerioCapraro · 2026-10-16
- POSTECH 论文:选择题评测偏差可拆解为翻转率与位置偏斜两因子 — Hyunjong Ok · 2026-10-16
- KV 缓存远程读取竟比重算还慢:GLM-5.3 生产系统案例复盘 — MultiverseComputingCAI · 2026-10-16