线程称 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」频道最新
- Gergely Orosz 观察:AI Agent 提速十倍交付,却带来一堆小退化 — ducha_aiki · 2026-09-11
- 同题 Echo Maze 实测:三大模型看似成功,代码里藏着同一个 bug — eyishazyer · 2026-09-11
- Astra 分镜+Minimax H3 分镜逐帧生成，视频创作成功率大增 — Hailuo_AI · 2026-09-11
- Codex 用户实测：Sol 搭配 Astra/Luna 子代理更省额度 — pvncher · 2026-09-11
- 开源 Agent Skill 2.3k 星:生成 MVP 蓝图并审计重构 agentic harness — tom_doerr · 2026-09-11
- Cognition SWE-2 用 KKT 对偶优化长度惩罚，一次 RL 推移 Pareto 曲线 — YouJiacheng · 2026-09-11