研究者称 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 五天解出六个数学难题(2 条相关)→
「漫话AGI」频道最新
- Yves Mulkers 说，AI 变化最快的技能是向非技术人解释它 — YvesMulkers · 2026-07-23
- 土耳其地震救援案例说明为何不该禁用开放模型 — mervenoyann · 2026-07-23
- Rita Kozlov：AI 写作之所以别扭，是它抹掉了作者自己的声音 — ritakozlov · 2026-07-23
- 农民称数据中心在杀蜜蜂，担忧已指向粮食系统 — eyishazyer · 2026-07-23
- Phil Venables 说 AI Agent 终将需要类 SEC 的问责框架 — philvenables · 2026-07-23
- 一段视频称，经济模型指向 AI 可能引发知识坍塌 — Tasty-Aspect-6936 · 2026-07-23