九章云极登顶陶哲轩数学蒸馏挑战赛并发布形式化验证论文

九章云极旗下言表实验室在陶哲轩联合创立的数学蒸馏挑战赛第二阶段中斩获四个赛道满分并夺得总榜第一，同步公开了包含 28 项五阶等式新分类的 Lean 4 形式化证明论文。