站内内容与 AI 工具一站式检索。
研究者发布 OpenFrontiers，收录 12151 个跨学科开放研究问题，并构建数学领域 200 题回顾性基准（其中 110 题已在 2026 年解决），用 Lean 4 形式化与自动检查评估大模型能否独立“再发现”已有解答。