随机抽样猜想评测显示模型约六成能给出候选解，但需评估忠实度。
资讯摘要
论文提出新数据集 OpenConjecture，从 2026 年 2 月以来 arXiv 数学论文中收集猜想，随机抽取 200 条，用可复现协议让前沿 GPT 模型在无问题特定数学指导下各跑三遍。作者报告模型对约 60% 的猜想给出候选解，反例约为证明的 1.3 倍；部分解答偏离作者原意或紧贴已有结果，但也有一些具备中等新颖性。
要点速读
- 论文构建 OpenConjecture 数据集，来源为 2026 年 2 月起 arXiv 数学论文中的猜想，随机抽样 200 条。
- 作者报告模型对约 60% 的猜想产出候选解，反例数量约为证明的 1.3 倍。
- 研究发现部分解答偏离猜想原意（如以平凡群作反例），部分证明紧贴已有结果，但有些解答具中等新颖性。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/31 08:00:18（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。