
就在 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 吧~
一键情愫 � � 点亮星标
科技前沿进展逐日见开云体育
体育游戏app平台作家并莫得被平时招供-开云(中国)Kaiyun·体育官方网站-登录入口 2026-06-08
开云体育本轮核电复苏周期已捏续深入多年-开云(中国)Kaiyun·体育官方网站-登录入口 2026-06-07