主要证据
- FrontierMath: Open ProblemsS1 · 主要研究来源 · 基准 · 2026-07-31
FrontierMath: Open Problems 扩展到 50 个可验证研究问题
问题由数学家筛选，并尽可能配套专用计算验证器，同时按解答的重要性进行分级。
发生了什么？
Epoch AI 将 FrontierMath: Open Problems 扩展到 50 个重要未解研究问题，并按数学重要性分层跟踪 AI 解答。
为什么重要？
该基准把评测重点放在 AI 是否真正推进人类数学知识，而不只是复现已知答案。
重要性说明：FM:OP 通过跟踪可计算验证候选解的显著未解问题，为衡量自主数学发现提供了一个更有意义的“分母”。
历史脉络
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 部分核验
- 证据等级
- E3 · 可检查工件
- AI 角色
- 仅计算支持
- 形式保障
- 有形式化工件
贡献与验证
- 数学新颖性
- 工具性进展
- 接口
- 非形式化, 符号, 数值, 混合
- AI 贡献
- 前沿系统在长程脚手架下尝试开放问题，并由问题专用验证器检查候选解。
- 人类贡献
- 数学家提出并审核问题，Epoch AI 构建验证器并维护归属与解答状态。
- 验证状态
- 部分核验 · E3 · 可检查工件 · 有形式化工件
- 最后审阅
- 2026-09-11
技术细节
- 系统
- frontiermath-open-problems
- 机构
- epoch-ai
- 数学问题
- open-research-mathematics
- 方法
- benchmarking, computational-verification, expert-curation
全部来源与工件
- FrontierMath: Open ProblemsS1 · 主要研究来源 · 基准 · 访问于 2026-09-10
验证历史
- 2026-07-31 · 部分核验 · E2 · 研究记录
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
- 2026-09-11 · 部分核验 · E3 · 可检查工件
本轮 corpus 刷新增补了由作者或发布机构维护、可直接检查的公开产物。E3 表示证据已达到可检查 artifact 层级，并不等同于底层科学或数学主张已获得独立验证。
更正
当前没有记录的更正。