研究者称 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」频道最新
- Adam Marblestone 播客书单：从智能演化到数字心智 — KordingLab · 2026-09-11
- David Patterson：反对 AI 与数据中心是蠢还是恶？ — davidpattersonx · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 越狱频发引反思：模型训练该不该加入道德框架 — Pfungus_ · 2026-09-11
- 孙正义：人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11
- 「推理时 scaling 正展现出不讲理的有效性」引 AI 圈共鸣 — sqcai · 2026-09-11