評測來源官方評測
MathArena · BrokenArXiv
MathArena / ETH Zurich / 推理 · 發現和修復數學證明中的錯誤
在 ATech Hot 中觀察中
證據預算不計分
上游數據時間待核實
最近成功同步尚未開始採集
它測什麼，怎麼測
按單獨試卷和版本讀取原始成績，不使用跨題庫擬合的 Expected performance 綜合分。
如何使用這份證據
觀察中：榜單成績再展示邊界尚未明確，暫不採集進正式分。
評測侷限與數據署名
觀察中：榜單成績再展示邊界尚未明確，暫不採集進正式分。
數據許可：代碼 MIT；數據含 CC BY-NC-SA 4.0 邊界，需區分題庫與榜單成績。
成績由 MathArena / ETH Zurich 發佈，原始分數與 ATech Hot 共識分使用不同尺度，不能直接相加。