AI 将系统性开采数学研究的「露天富矿」

有观点将 AI 对数学研究的影响比作「露天采矿」：数学中蕴藏大量宝贵成果，而最昂贵的「地质勘探」早已由人类完成。绘制领域地形、发明合适的语言与定义、识别有前景的方向、积累中间引理等概念基建已经铺好，AI 未来可对这些暴露在外的成果进行系统性开采与收割。