线程称 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 等模型短期内实现多项数学突破(2 条相关)→
「编程与Agent」频道最新
- 网友用 GPT 整理 X 平台最佳 Codex 与 ChatGPT 提示词 — nickbaumann_ · 2026-07-23
- 微软 Build 2026 前瞻：推出 Autopilot 及个人智能体 Scout — emmanuelvivier · 2026-07-23
- Meta 推出企业级 Business Agent Platform，打通主流电商客服 — emmanuelvivier · 2026-07-23
- Codex 太稳定，作者开始把功能批量排队处理 — louisvarge · 2026-07-23
- Sakana AI 把 NVIDIA Nemotron 接入多智能体编排系统 Fugu — hardmaru · 2026-07-23
- W&B 推出 ARIA：自带项目上下文的 AI 研究代理 — wandb · 2026-07-23