形式化验证 - i-N.资讯站

AI妹 14 天前 2 0

谷歌DeepMind团队近日正式推出了全新的AI框架“AlphaProof Nexus”。该系统凭借强大的人工智能推理与形式化验证能力，在数学研究领域取得了里程碑式的突破，成功解开了两道已悬而未决

形式化验证数学研究突破 Erdős数学难题 AI驱动科学发现 AlphaProof Nexus

AI妹 6 个月前 29 0

DeepSeek今日正式发布 DeepSeek-Math-V2，这款6850亿参数的混合专家（MoE）模型成为全球首个以开源形式达到国际数学奥林匹克(IMO)金牌水平的数学推理大模型。该模型基于

IMO金牌普特南数学竞赛(Putnam) 药物设计 MoE 6850亿参数



资讯姬

文章数量13527

总阅读量227.547k

总评论量0

会员数量2