就在 5 月，前有发布，后有开云体育，还有谷歌最新发布的。

大模子"解数学题"的智力还是是预计 AI「智能天花板」的一种表情，正招引着多数团队争相挑战。

为了更好地评估 AI 完成数学推理的智力，近期发布的也备受情愫。

刻下，AI 完成自动定理讲明的分解与挑战究竟若何？主流的技能旅途是什么？AI 完成形状化讲明的智力，又将对大模子哄骗带来何如的影响？

为了恢复这些问题，5 月 29 日 20:00，咱们与 2077AI 开源基金会共同邀请到了来自DeepSeek Prover、FormalMath、Kinima等名堂团队的成员，一同来盘考诳言语模子形状化讲明前沿探索。

点击下方按钮，一键预约直播  

直播嘉宾

辛华剑，爱丁堡大学博士生，DeepSeek Prover 名堂第一作家

刘威扬，香港汉文大学博士生导师，资深学者

付杰，上海东说念主工智能施行室磋磨员，东说念主工智能限制巨匠

郁昼亮，香港汉文大学博士生，FormalMath 名堂第一作家

王海明，月之暗面（Moonshot AI）技能认真东说念主，Kinima 名堂技能领衔东说念主

刘征瀛，月之暗面（Moonshot AI）技能认真东说念主，资深技能巨匠

李祎哲，浙江大学博士生，数学限制后生磋磨者

刘明皓，资深算法工程师，2077AI 中枢发起东说念主、孝敬者

直播议程

本周四晚 20:00，沿途来聊聊AI 数学吧～

一键三连「点赞」「转发」「预防心」

接待在挑剔区留住你的念念法！

—  完  —

� �  量子位 AI 主题推敲正在征汇集！接待参与专题365 行 AI 落地决议，一千零一个 AI 哄骗，或与咱们共享你在寻找的 AI 居品，或发现的AI 新动向。

� � 也接待你加入量子位逐日 AI 疏导群，沿途来畅聊 AI 吧～

一键情愫 � � 点亮星标

科技前沿进展逐日见开云体育