AI助力数学新时代，开启全新协作模式

菲尔兹奖得主陶哲轩在OpenAI访谈中表示，AI有望重新设计数学，开启新的发现时代。OpenAI最新发布的o1模型在数学和代码能力上显著提升，Pro版数学性能提高36%。陶哲轩认为，AI可以同时处理数百个数学问题，促进数学研究的模块化和协作。AI在模式识别、生成反例和验证步骤等方面表现出色，但仍需人类监督。数学的美学感受由人类判断，AI难以完全复制，但可能带来“不同的美”。陶哲轩建议年轻数学家保持灵活性，利用AI进行更广泛的合作，同时注意AI的局限性。目前，AI在解决最困难的1%数学问题上尚未取得突破，但未来有潜力在数学定理发现和检索方面发挥作用。
来源：https://mp.weixin.qq.com/s/dhBPBdtW6OBkHXLVjUAb6Q