IXThinker·2025-05-29 10:21

大模型數學推理成焦點 形式化證明直播將舉行

大模型「解數學題」的能力正被視為衡量AI智能上限的方式之一。一場聚焦形式化證明的直播將於5月29日晚8時舉行，DeepSeek Prover與FormalMATH基準相關團隊的專家將同場探討AI數學的現狀與挑戰。

五月數學熱潮

5月以來，DeepSeek Prover V2發布、陶哲軒進行AI數學直播、Google推出AlphaEvolve，大模型數學能力研究熱度持續攀升。數學推理被廣泛視為檢驗AI「智能天花板」的重要標尺，吸引眾多團隊爭相投入。