形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
本周四晚20:00，一起来聊聊AI数学吧～
林樾 发自 凹非寺
量子位｜公众号 QbitAI
就在5月，前有DeepSeek Prover V2发布，后有陶哲轩的AI数学直播，还有谷歌最新发布的AlphaEvolve。
大模型“解数学题”的能力已经是衡量AI「智能天花板」的一种方式，正吸引着无数团队争相挑战。
为了更好地评估AI完成数学推理的能力，近期发布的FormalMATH基准测试也备受关注。
现在，AI完成自动定理证明的表现与挑战究竟如何？主流的技术路径是什么？AI完成形式化证明的能力，又将对大模型应用带来怎样的影响？
为了回答这些问题，5月29日20:00，我们与2077AI开源基金会共同邀请到了来自DeepSeek Prover、FormalMath、Kinima等项目团队的成员，一同来讨论大语言模型形式化证明前沿探索。
欢迎在量子位视频号预约直播：形式化证明、大模型与AI数学未来
直播嘉宾
辛华剑，爱丁堡大学博士生，DeepSeek Prover 项目第一作者
刘威扬，香港中文大学博士生导师，资深学者
付杰，上海人工智能实验室研究员，人工智能领域专家
郁昼亮，香港中文大学博士生，FormalMath 项目第一作者
王海明，月之暗面（Moonshot AI）技术负责人，Kinima 项目技术领衔人
刘征瀛，月之暗面（Moonshot AI）技术负责人，资深技术专家
李祎哲，浙江大学博士生，数学领域青年研究者
刘明皓，资深算法工程师，2077AI核心发起人、贡献者
直播议程
本周四晚20:00，一起来聊聊AI数学吧～
版权所有，未经授权不得以任何形式转载及使用，违者必究。
正文完
可以使用微信扫码关注公众号（ID：xzluomor）
ufabet
มีเกมให้เลือกเล่นมากมาย: เกมเดิมพันหลากหลาย ครบทุกค่ายดัง
tornado crypto mixer
Discover the power of privacy with TornadoCash! Learn how this decentralized mixer ensures your transactions remain confidential.
ดูบอลสด
Very well presented. Every quote was awesome and thanks for sharing the content. Keep sharing and keep motivating others.
ดูบอลสด
Pretty! This has been a really wonderful post. Many thanks for providing these details.
ดูบอลสด
Pretty! This has been a really wonderful post. Many thanks for providing these details.
ดูบอลสด
Hi there to all, for the reason that I am genuinely keen of reading this website’s post to be updated on a regular basis. It carries pleasant stuff.
Obrazy Sztuka Nowoczesna
Thank you for this wonderful contribution to the topic. Your ability to explain complex ideas simply is admirable.
ufabet
Hi there to all, for the reason that I am genuinely keen of reading this website’s post to be updated on a regular basis. It carries pleasant stuff.
ufabet
Very well presented. Every quote was awesome and thanks for sharing the content. Keep sharing and keep motivating others.
