跳到正文
热点事件持续更新

研究者发布OpenConjecture数据集评测模型解猜想能力

1 篇报道1 个报道来源12 小时前更新

先了解这件事

AI 综述

Helen Jenne等作者提出OpenConjecture数据集,收录arXiv自2026年2月起论文中的数学猜想,并用前沿GPT模型对随机抽取的200条猜想各运行三遍,以评估模型解猜想的能力。 结果显示,模型对约60%的猜想给出候选解,其中反例数量约为证明的1.3倍。作者分析称,部分解答偏离原意,例如用平凡群作反例;部分证明紧贴已有结果;但仍有解答具备至少中等新颖性。

AI 根据报道生成 · 3 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月31日
  1. arXiv cs.AI
    超越精选突破:在随机采样的数学猜想上评估语言模型

    研究者构建 OpenConjecture 数据集,收录 arXiv 自 2026 年 2 月起论文中的猜想,并用前沿 GPT 模型对随机抽取的 200 条猜想各跑三遍。模型对约 60% 的猜想给出候选解,其中反例数量约为证明的 1.3 倍。分析发现部分解答偏离作者原意(如用平凡群作反例),部分证明紧贴已有结果,但仍有解答具备至少中等新颖性。

本事件热度走势

可比范围当前
7
可比范围峰值
810月31日 22:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。