<p>近日，九章云极旗下言表实验室（yanbiao.ai）在SAIR Foundation数学蒸馏挑战赛第二阶段的全部4个赛道取得满分，进入全球主榜满分阵营。同期，九章云极与北京大学计算机学院联合发表研究成果《Trace-Tree Magmas: Proof-Producing Infinite Countermodels and 28 New Order-Five Austin Classifications》，首次为28个此前未公开分类的数学等式构造非平凡无限模型并建立新的Austin分类，相关结果均通过Lean 4形式化验证。此次成果进一步体现公司在自动推理、形式化验证及科学发现等AI4S方向的研究能力。</p>