数学做题家AlphaProof
AlphaProof是谷歌深度思维公司专为证明数学命题而设计的系统。该系统成功证明了复杂的数学定理，并在国际数学奥林匹克竞赛（IMO）中取得过相当于银牌的优异成绩。
这一突破被认为是AI研究领域（试读）...
登录
