标签: 数学证明

去年，谷歌DeepMind的人工智能系统在国际数学奥林匹克（IMO）中达到银牌水平，系AI首次在该赛事解题中获奖牌级成绩。如今《自然》期刊论文揭示其核心技术——用于证明数学命题的工具AlphaProof。

标签: 人工智能 国际数学奥林匹克 数学证明