/
科学出版 关键字列表
AI如何改变数学研究的本质
现代AI编程工具已彻底改变软件工程，开发者大量使用AI助手编写代码。作为机器学习理论研究者，我们发现类似变革正在科学研究方法论中发生，特别是数学性质的研究。AI工具现在能够仅从高层证明草图提示中开发和编写严格的数学证明。这些证明用正式的数学论证"语言"编写，就像代码用Python等编程语言编写一样。AI似乎已经精通这两种语言及其底层逻辑。
白皮书
京公网安备 11010802021500号
