数学家让AI模型AlphaProof接受挑战

去年，谷歌DeepMind因研发出一款人工智能系统而备受关注，该系统在当年的国际数学奥林匹克（IMO）试题中达到了银牌水平。IMO是一项每年举办的、面向年轻数学家的著名竞赛。这是此类系统首次在解答IMO题目时达到可获得奖牌的水平。如今，休伯特等人在《自然》期刊发表论文，报告了这一成就背后的核心技术细节：一款名为AlphaProof的工具，其设计目的是证明数学命题。