九章云极在SAIR数学蒸馏挑战赛夺冠并提出AI4S新范式

九章云极的言表实验室在陶哲轩创立的SAIR Foundation主办的数学蒸馏挑战赛第二阶段中，在全部四个赛道均取得满分200分，总榜以221分大幅领先夺冠。团队通过构建包含数十亿条Lean 4代码的证明图并压缩至500KB Python代码实现突破，并利用该方法在研究附加榜中斩获17分，远超第二名。