新数学基准收录 71 题并附 Lean 形式化表述
ChrSzegedy · x · 2026-07-21
Timeroot 透露，HarmonicMath 联合 AIMathematics 发布了一个 71 题数学基准，其中很多题都带有 Lean 形式化表述。
作者强调，这个 benchmark 的设计目标是覆盖一个更宽的难度谱：既有一些 著名且很难 的题，也有不少相对不那么知名的题。帖文同时给出了题目列表和文章链接，整体更像是一个面向数学推理能力的研究型基准。
所属事件:Harmonic Math 联合发布数学研究开放基准(2 条相关)→
「研究」频道最新
- 研究发现记忆压缩会让智能体丢掉安全规则，违规率高达 59% — gerardsans · 2026-07-22
- DriftWorld 宣称世界模型可跑 30+ FPS 且仅需 1–2 张 GPU — du_yilun · 2026-07-22
- 1GW 中国 AI 数据中心为何并非不可能 — teortaxesTex · 2026-07-22
- 中国 AI 实验室把蒸馏混淆当成头号研究主题 — pmddomingos · 2026-07-22
- RSS 加入 OMSF，推进结构生物学大规模数据建模 — MoAlQuraishi · 2026-07-22
- enFoldX 用 AlphaFold3 结构噪声预测 TCR 识别 — quaidmorris · 2026-07-22