Harmonic Math 联合发布数学研究开放基准

Harmonic Math 与 AI4Mathematics 合作，推出了一款面向数学研究的开放评测基准。该基准由专业数学家精心挑选，包含了五十多道极具挑战性的高难度数学题。值得一提的是，该数据集总共收录了 71 道题目，其中许多题目还专门配备了 Lean 形式化表述，旨在为数学领域的 AI 研究提供更严谨、以人为中心的评测工具。

2026-07-21 ~ 2026-07-21 · 2 条相关