直播回顾|AI数学与形式化证明技术圆桌

我爱免费

作者：微信文章



5月29日，整数智能、2077AI开源基金会与量子位共同举办了一场围绕形式化证明、大模型与AI数学未来的技术圆桌。本次活动邀请到爱丁堡大学博士生、字节跳动Seed实习生辛华剑，月之暗面(Moonshot AI)Tech Leader、Kimina-Prover Author刘征瀛，香港中文大学博士生导师、助理教授刘威杨，上海人工智能实验室青年科学家、上海创智学院博士导师付杰，月之暗面(Moonshot AI)研究员、Kimina-Prover Author王海明，香港中文大学博士生、FormalMATH Author郁昼亮，浙江大学博士生、数学领域青年研究者、FormalMATH Author李祎哲，资深算法工程师以及2077AI核心发起人、贡献者刘明皓等多位专家，共同探讨AI在数学领域的最新进展与未来发展方向。

在圆桌讨论环节，各位嘉宾围绕以下关键问题展开了深入探讨：

形式化能力的动机与影响Kimi 模型训练中的挑战评估 Benchmark 的构建与挑战大型数学定理库的形式化工作对其他大模型工作及形式化领域趋势的看法Informal 数据在 SFT 中的作用与 Informal 到 Formal 的映射难题强化学习中的奖励欺骗问题

这场技术圆桌碰撞出了许多精彩观点和深度洞见，欢迎关注【整数智能AI研究院】视频号，观看完整直播回放。


扫码观看FormalMATH技术圆桌精彩直播回放

对更多项目细节感兴趣，欢迎阅读 FormalMATH 的介绍推文和项目论文，了解更多技术细节和研究成果。

---

     



  

---

整数智能信息技术（杭州）有限责任公司，起源自浙江大学计算机创新技术研究院，致力于成为AI行业的数据合伙人。整数智能也是中国人工智能产业发展联盟、ASAM协会、浙江省人工智能产业技术联盟成员，其提供的智能数据工程平台（MooreData Platform）与数据集构建服务（ACE Service），满足了智能驾驶（Automobile AI）、生成式人工智能（Generative AI）、具身智能（Embodied AI）等数十个人工智能应用场景对于先进的智能标注工具以及高质量数据的需求。



     

目前公司已合作海内外顶级科技公司与科研机构客户2000余家，拥有知识产权数十项，通过ISO 9001、ISO 27001、ISO 27701等国际认证，多次参与人工智能领域的标准与白皮书撰写，也受到《CCTV财经频道》《新锐杭商》《浙江卫视》《苏州卫视》等多家新闻媒体报道。

---

     

     

---

      











点击「在看」
好内容大家分享