公开语料与 benchmark 支持数学前沿检索研究，但迁移价值尚未独立验证。
建议动作等待独立复现或在真实数学工作流中的检索收益。
判断复核于 2026-10-31 · 依据：OpenFrontiers 区分 agent 是重发现还是检索数学答案