线程称 GPT-5.6 Sol 五天解出 6 个 Erdős 开放题
jxnlco · x · 2026-07-23
一条线程称，作者用 OpenAI GPT-5.6 Sol 配合 Codex 工作流，在 5 天内解决了 6 个 Erdős 开放问题。
- 作者说自己有数学背景，但这套流程并不依赖很深的数学知识。
- 这更像是一则关于模型参与数学推理的案例：重点不在结论本身，而在他后续会公开的提示词与工作流做法。
所属事件:GPT-5.6 Pro等模型连破数学猜想，但验证频翻车(11 条相关)→
「编程与Agent」频道最新
- 现代 AI Agent 协议栈的 11 项实用地图 — TheTuringPost · 2026-07-27
- NVIDIA 称 Nemotron 3 Ultra 在 RTL 芯片设计任务上达 97.1% — NVIDIAAI · 2026-07-27
- 东京 Agent Forge 黑客松一天做出可上线 AI agents — DavidBennett__ · 2026-07-27
- 长周期智能体最终需要不可变事件日志 — sebpaquet · 2026-07-27
- 实测智能体数据科学工作流：代码能跑但常答错问题 — hugobowne · 2026-07-27
- 一个 VS Code 扩展给 Alchemy 模板加上 Markdown 高亮 — samgoodwin89 · 2026-07-27