⌘ K
… 读取采集状态 同步中...
雷
原文
机器之心· 机器之心·· 3 小时前AI 评分64

九章云极言表实验室获陶哲轩数学蒸馏挑战赛头名,发布 Austin 法则新分类论文

九章云极问鼎陶哲轩数学挑战赛!让强化学习成为AI4S新基建

AI 导读

九章云极言表实验室在陶哲轩发起的 SAIR 数学蒸馏挑战赛第二阶段以总榜 221 分获唯一头名,并在 Research Leaderboard 取得 17 分领先。团队将成果整理为 arXiv 论文,为 28 个开放等式构造非平凡无限模型,全部通过 Lean 4 形式化验证。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:机器之心 · mp.weixin.qq.com