热点事件持续更新
AdvancedMathBench 数学证明基准发布
2 篇报道2 个报道来源16 小时前更新
先了解这件事
AI 综述
2026 年 9 月 29 日 14:53，internlm 在 Hugging Face 发布 internlm/AdvancedMathBench-AutoVerifier。报道显示，AdvancedMathBench-AutoVerifier 是面向 ProverBench 的自动评分器，用于评估自然语言数学证明，可自动评分、解释错误并定位最早出现错误的步骤。同日 22:15，InternLM 在 GitHub 发布 AdvancedMathBench 高等数学证明生成与验证基准套件，用于评估语言模型能否构造并验证高等数学的自然语言证明。该套件包含 ProverBench 的 245 道专家审阅证明生成题、VerifierBench 的 888 条带全链路专家标注的证明轨迹，以及用于自动评估 ProverBench 的 AutoVerifier。
AI 根据报道生成 · 49 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
9月29日
- InternLM · GitHub 原创项目InternLM 发布 AdvancedMathBench 高等数学证明生成与验证基准套件
InternLM 发布 AdvancedMathBench，用于评估语言模型能否构造并验证高等数学的自然语言证明。该套件包含 ProverBench 的 245 道专家审阅证明生成题、VerifierBench 的 888 条带全链路专家标注的证明轨迹，以及用于自动评估 ProverBench 的 AutoVerifier。
- internlm · Hugging Face 新模型internlm/AdvancedMathBench-AutoVerifier：自动评估数学证明的模型
AdvancedMathBench-AutoVerifier 是用于 ProverBench 的自动评分器，可评估自然语言数学证明、解释错误并定位最早错误步骤。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。