发生了什么
Rohan Paul 公布 GPT-5.6 Sol 解决 Erdős 问题成果(6个问题, 46%成功率)
为什么值得关注
这种合同式提示和搜索策略对解决复杂数学问题有效,可尝试复现。
信息来源
以下内容来自公开来源,可打开原文继续核验。
01
GPT-5.6 Sol解决6个Erdős问题
一位研究员使用GPT-5.6 Sol在5天内解决了6个开放Erdős问题(尝试13个,成功率46%)。他采用合同式提示,明确证明要求、排除弱结果,并指定搜索策略,包括同时探索多种路径和对抗性检查。
打开原始来源 ↗