九章云极言表实验室问鼎陶哲轩数学蒸馏挑战赛，28 个五阶等式获新分类

九章云极旗下言表实验室在陶哲轩联合创立的 SAIR Foundation 数学蒸馏挑战赛第二阶段中，四个赛道均以满分 200 分位列主榜第一，研究附加榜以 17 分领先第二名 3 分。团队用同一套智能体将数十亿条 Lean 代码的证明图压缩为 500 KB Python 代码，为 28 个此前无公开分类的五阶等式首次构造非平凡无限模型，生成 636 份 Lean 4 证书全部通过验证。