OpenFrontiers发布开放研究问题集与基准

2026年10月30日，Jiarui Yao等在arXiv发表OpenFrontiers，推出跨学科开放研究问题语料库与数学再发现基准。据该文，语料库收录12,151个问题；基准含200道题，其中110道于2026年解决、90道仍开放，每题附Lean 4陈述，经自动化探针和两次独立评审核查，HQ-50子集按质量分等进一步筛选。评估协议在隔离沙箱中以两个独立检查器评分，设闭卷、冻结检索和实时联网三种条件。在标准化预算下评测七个LLM智能体于HQ-50子集的表现：闭卷再发现罕见，40道已解题中至多7道；实时联网的成功主要反映对已发表解答的检索。上述数字与条件均出自该主报道。

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

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