线程称 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」频道最新
- alphaXiv 开源 OpenResearch:用任意模型并行跑研究智能体 — alphaXiv · 2026-09-11
- MathModelAgent 走红:自动完成数学建模并生成可提交论文 — jihe520 · 2026-09-11
- 开源 AI 销售 OS DeskcommCRM 爆火:自带 Agent 与 WhatsApp 集成 — melgarafael · 2026-09-11
- hyperresearch 开源:让 Agent 把网络调研沉淀为可搜索知识库 — jordan-gibbs · 2026-09-11
- Forter 两周全员 Agent 冲刺 13 条经验:跳过自建 RAG 靠企业搜索 — bibryam · 2026-09-11
- 拆解两款真实「公司大脑」：Slite 与 Gorgias 同台对比构建之道 — femke_plantinga · 2026-09-11