研究员用 GPT-5.6 Sol 五天解决 6 个埃尔德什难题

一位研究员用 OpenAI 的 GPT-5.6 Sol 在五天内解决了 6 个开放的埃尔德什数学难题,尝试 13 题、成功率约 46%,这条动态的价值不只是结果本身,更在于给出了一套可复用的“让模型做数学研究”的提示词方法论。

• 提示词采用“合同式”写法,明确要求证明必须建立哪些内容、排除哪些弱结果、提前标注已知陷阱,相当于把研究规范直接写进指令里
• 要求模型同时探索多条路径且不提前承诺某个方向,避免过早收敛到错误思路上
• 明确要求模型主动寻找反例,把证伪当作验证正确性的一环,而不是事后才补救
• Codex 能在数小时内把整个搜索过程持续保持在内存中,支撑长时间连续推理而不丢失上下文
• 引入对抗性智能体逐一检验存活下来的证明草稿,相当于给每个候选结果都加了一道类似人工评审的关卡
• 46% 的成功率说明这类方法离“通用数学发现”还有距离,但“合同式提示词 + 多路径探索 + 对抗验证”的组合思路,对其他需要严谨推理的任务同样有借鉴价值。

本内容由 AI 生成，仅供参考，请注意甄别