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 条相关)→
「研究」频道最新
- Elastic Triangle Splatting 改进内核函数设计 — zhenjun_zhao · 2026-09-01
- 前馈 3D 重建模型的置信度校准审计 — zhenjun_zhao · 2026-09-01
- ReconSplat 结合扩散先验实现视图外重建 — zhenjun_zhao · 2026-09-01
- 研究 3D Gaussian Splatting 何时能恢复真实表面 — zhenjun_zhao · 2026-09-01
- DiffSAC 用扩散模型指导鲁棒估计采样 — zhenjun_zhao · 2026-09-01
- 单目 SLAM 抗干扰评测:学习方法把灾难性失败换成了持续漂移 — zhenjun_zhao · 2026-09-01