arXiv Artificial Intelligence· Jiarui Yao, Ruida Wang, Tong Zhang·· 17 小时前AI 评分45
OpenFrontiers：开放研究问题集合与科学再发现基准
OpenFrontiers: A Collection of Open Research Problems and a Benchmark for Scientific Rediscovery
AI 导读
OpenFrontiers 发布跨学科开放研究问题语料库与数学再发现基准，语料库收录 12,151 个问题，基准含 200 道题（110 道于 2026 年解决、90 道仍开放），每题附经自动化探针和两次独立评审核查的 Lean 4 陈述，其中 HQ-50 子集按质量分等进一步筛选。
来源：arXiv Artificial Intelligence · arxiv.org