深度思维正式推出“数学做题家AI” 其在奥赛中取得相当于银牌的成绩
2025-11-13
《自然》杂志12日发表了一项重要成果:英国深度思维正式推出其开发的“数学做题家人工智能(AI)”AlphaProof成功证明了复杂的数学定理,并在2024年国际数学奥林匹克竞赛(IMO)中取得了相当于银牌的优异成绩。这项研究展示了AI在高难度数学推理领域的显著进步。深度思维2004年曾宣布其混合AI系统在当年的IMO竞赛中表现优异,仅差1分就能摘得金牌。而今正式发布论文详解该AI系统。这一突破被认