话题追踪

梦晨 西风 发自 凹非寺量子位 | 公众号 QbitAIDeepSeek放大招!新模型专注数学定理证明,大幅刷新多项高难基准测试。在普特南测试上,新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名在657道题中只...
量子位 | 2025-05-02 16:20
本信息来自互联网,不代表导读网立场,如若转载,请注明出处:http://www.frfey.com/news/59150/