AI如何改变数学研究的本质

现代AI编程工具已彻底改变软件工程，开发者大量使用AI助手编写代码。作为机器学习理论研究者，我们发现类似变革正在科学研究方法论中发生，特别是数学性质的研究。AI工具现在能够仅从高层证明草图提示中开发和编写严格的数学证明。...