线程称 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」频道最新
- 同一套 DeepSeek 内核两种优化路线：vLLM 拆专家、SGLang 降访存 — AccBalanced · 2026-10-27
- 用 Tailscale 让云端 Grok Bot 在自己 Mac mini 上写代码，全程不开公网端口 — talkaboutdesign · 2026-10-27
- 工程师数月实践：Agent 每次调用重发全量上下文，改一个 token 全额付费 — dscape · 2026-10-27
- Alchemy 支持 Effect Workflow:跨 Durable Objects、Workflows 与 Lambda 持久函数 — samgoodwin89 · 2026-10-27
- Alchemy 推出 Lambda Web Functions,Node 版 Web 服务器直接上 Lambda — samgoodwin89 · 2026-10-27
- Alchemy 全部约 2850 个 AWS binding 现已跨云可用 — samgoodwin89 · 2026-10-27