GPT 5.6 Pro 辅助改进素数间隔数学猜想，刷新纪录
thomasahle · x · 2026-09-01
数学家 Thomas Bloom 报道，GPT 5.6 Pro 在用户 DottedCalculator 的提示下，结合新的筛法思想与现有的 [FGKMT18] 理论，改进了关于素数间隔 的界限。新结果将之前 2018 年的纪录改进了约 log3(n) 倍，目前该结果已由 Alexeev 在 Lean 中形式化证明。这一进展展示了 AI 在解决复杂数学问题中的潜力。
所属事件:GPT 5.6 改进素数间隔长期数学猜想纪录(3 条相关)→
「研究」频道最新
- 四足机器人实机实现变形+步行:各姿态单独强化学习、变形时切换策略 — _Stocko_ · 2026-10-16
- KinoGen 用运动学视频生成直接为人形机器人合成全身操作参考动作 — ChongZzZhang · 2026-10-16
- Science Robotics 论文提出 F³ 事件相机预测表征，超越光流 — CSProfKGD · 2026-10-16
- VideoGen-Agent:基于 Qwen3-VL 的 8B 多模态 Agent 用工具循环改写视频生成 — jiqizhixin · 2026-10-16
- 前沿实验室代码多由 AI 编写，论文提出「理解力审计」安全门槛 — ronbodkin · 2026-10-16
- Not Boring 周报：可解释性乐观论、飞行跑车与 tau 蛋白降 73% — Not Boring (Packy McCormick) · 2026-10-16