九章云极言表实验室夺数学蒸馏挑战赛总榜第一

九章云极旗下言表实验室在陶哲轩联合创立的 SAIR Foundation 数学蒸馏挑战赛第二阶段中，四个赛道均以满分 200 分位列主榜第一，总榜得分 221 分，在 294 支参赛队伍中排名第一；研究附加榜以 17 分领先第二名 3 分。 该赛事要求：蕴含成立时须提交 Lean 4 形式化证明，不成立时须提交反例，所有提交由确定性 Lean 验证器逐一检验，未通过不得分。团队称用同一套智能体将数十亿条 Lean 代码的证明图压缩为 500 KB Python 代码，为 28 个此前无公开分类的五阶等式首次构造非平凡无限模型，生成的 636 份 Lean 4 证书全部通过验证。

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

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