← 评测来源
MathArena / ETH Zurich / 推理
官方评测 ↗MathArena · ArXivLean
用 Lean 验证数学证明
在 AIHOT 中观察与参考
证据预算不计分
上游数据时间待核实
最近成功同步尚未开始采集
它测什么，怎么测
按单独试卷和版本读取原始成绩，不使用跨题库拟合的 Expected performance 综合分。
如何使用这份证据
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
尚未纳入可比成绩
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
查看上游官方页面 ↗评测局限与数据署名
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
数据许可：代码 MIT；数据含 CC BY-NC-SA 4.0 边界，需区分题库与榜单成绩。
成绩由 MathArena / ETH Zurich 发布，原始分数与 AIHOT 共识分使用不同尺度，不能直接相加。