标签:自动推理

AI数学解题‌ 史上首次,AI超越人类奥赛金牌得主!吴方法加持,30题做出27道破纪录

就在刚刚,首位超越人类数学奥赛金牌得主的AI诞生了!剑桥大学等机构的研究者发现,结合「吴方法」的DeepMind数学模型AlphaGeometry