benchmark sourcesOfficial benchmark
MathArena · BrokenArXiv
This page's content is in Chinese.
MathArena / ETH Zurich / 推理 · 发现和修复数学证明中的错误
In AIDC热点Watching
Evidence budgetNot scored
Upstream data timeTo be verified
Last successful syncCollection not started
What it measures and how
按单独试卷和版本读取原始成绩，不使用跨题库拟合的 Expected performance 综合分。
How to use this evidence
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
Benchmark limits and data attribution
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
Data license:代码 MIT；数据含 CC BY-NC-SA 4.0 边界，需区分题库与榜单成绩。
成绩由 MathArena / ETH Zurich 发布，原始分数与 AIDC热点 共识分使用不同尺度，不能直接相加。