上海AI实验室发布AdvancedMathBench数学证明基准

2026年9月29日，上海人工智能实验室 InternLM 团队发布 AdvancedMathBench，这是一个面向高等数学证明生成与验证的基准套件，用于评估语言模型构建与验证高等数学自然语言证明的能力，覆盖本科（UG）与资格考试（QE）级别。该消息由团队以原创项目形式发布，属一手信息。目前事件仍处于基准发布阶段，报道中未提及后续评测结果、榜单或第三方复现情况。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。