5月29日量子位直播将邀多领域专家，共探AI数学形式化证明前沿发展

近期，AI在数学领域的表现备受关注，DeepSeek Prover V2、陶哲轩的AI数学直播及谷歌的AlphaEvolve相继发布，推动了大模型数学能力的研究。FormalMATH基准测试为评估AI数学推理提供了新工具。5月29日，量子位联合2077AI开源基金会举办直播，邀请多位专家学者探讨AI形式化证明的技术路径及其对大模型应用的影响，进一步揭示AI数学能力的发展方向。
来源：https://mp.weixin.qq.com/s/_1TDCulK-rA7BW_aRcUm9g