研究者称 GPT-5.6 Sol 5 天解出 6 个 Erdős 问题
rohanpaul_ai · x · 2026-07-23
一位研究者称用 GPT-5.6 Sol 在 5 天内解出 6 个 Erdős 开放题
被引用的帖子称，一位研究者用 GPT-5.6 Sol 在 5 天里解决了 6 个开放的 Erdős 问题。
他总共尝试了 13 道题，成功率约 46%。真正值得注意的不只是模型输出，而是提示词写法：
- 提示词不是提问，而是写成了像 合同 一样的约束。
- 它先重述问题，并明确“什么才算完整证明”。
- 还列出哪些较弱结论 不能算数，避免近似答案混过去。
- 另外，提示词要求模型并行探索多条路线、保留互相矛盾的假设，并主动寻找自己引理的反例。
这条帖子的核心，是把模型往“证明搜索”而不是“直接回答”上引导。
所属事件:研究者用 GPT-5.6 Sol 五天连解 6 个 Erdős 数学问题(6 条相关)→
「漫话AGI」频道最新
- 反直觉观点：AI 最损害的恰恰是不用它的人的思考能力 — jd_pressman · 2026-10-27
- INRIA 研究员将于 ENS 报告「作为实验科学的数学」:LLM 参与数学研究 — marc_lelarge · 2026-10-27
- Lu│读者仍不愿读 AI 生成的书籍 — LuizaJarovsky · 2026-10-27
- Dario 与 Hassabis 对谈:两人都把 AGI 指向 2026-2027 — mtizard · 2026-10-27
- 微软裁员四分之一，AI 时代经济自噬？ — skatejraney · 2026-10-27
- AI 研究者谈脑机接口： augmentation 不保证永生，但比死亡更好 — danfaggella · 2026-10-27