菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想

AI在数学领域的突破多集中在寻找反例，这一趋势被1998年菲尔兹奖得主Timothy Gowers指出。他认为当前AI擅长于在一个巨大的搜索空间中找到特殊对象，这主要得益于其广泛的知识库和低成本的试错能力。尽管如此，AI在判断研究路径的有效性上仍需改进。