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

Helen Jenne 发布 OpenConjecture 数据集评测 GPT 求解数学开放猜想

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

先了解这件事

AI 综述

研究者 Helen Jenne 发布 OpenConjecture 数据集,收集 2026 年 2 月以来 arXiv 数学论文中的开放猜想,在 200 个随机抽样的猜想上以可复现协议对前沿 GPT 模型测试三遍。 结果显示,模型对约 60% 的猜想给出候选解,反例数量约为证明的 1.3 倍,部分解偏离出题者本意或依赖已有结果。研究未做专家验证,而是分析模型在哪些问题上产出解、解的特征,并强调评估需关注对原命题的忠实性、归因与数学贡献性质,而不仅是正确性。

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

报道时间线

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

10月30日
  1. arXiv · cs.AI
    OpenConjecture 数据集:用随机采样的数学猜想评估 GPT 模型

    研究者发布 OpenConjecture 数据集,收集 2026 年 2 月以来 arXiv 数学论文中的开放猜想,用前沿 GPT 模型在 200 个随机猜想上以可复现协议测试三遍。模型对约 60% 的猜想给出候选解,反例数量约为证明的 1.3 倍,部分解偏离出题者本意或依赖已有结果。研究强调评估需超越正确性,关注对原命题的忠实性、归因与数学贡献性质。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。