标签
本文探讨了人工智能如何改变数学，引发了关于人类数学家角色的思考。文中引用了陶哲轩等专家的观点，并讨论了人工智能自动完成部分数学发现的潜力。
著名数学家 Terry Tao 讨论了他对数学中人工智能的看法演变，以及他对大规模合作和计算机验证证明的倡导。
《莱顿人工智能与数学宣言》呼吁采取行动，应对人工智能在数学研究中带来的挑战与机遇，强调伦理价值观和责任。该宣言已获得国际数学联盟的认可。
数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。