AI超越数学家
摘要
AI已经进步到能够为原创数学研究做出贡献的程度，超越了人类数学家，并可能减少对该职业的需求，尽管人类与AI的团队合作可能最终表现出色。
人们严重低估了AI在数学方面的能力。几年前，“AI不会做数学”还是一个常见的批评。如今，我们看到这些计算机系统正在为原创数学研究做出贡献。作为一名经常使用前沿模型进行深度数学探索的人，我可以肯定地说，与甚至一两年前相比，差异是惊人的。我有一个在大学学数学的朋友，他真的感到害怕。他自信地告诉我，目前学习数学的孩子太多了。AI会大大减少对数学家的需求。AI会取代数学家吗？很有可能。但我认为未来的数学家将是人类与AI的团队，而这个团队的表现将胜过任何一方单独行动。然而，我们需要的从事数学研究的人将大大减少。如果你理解逻辑，你可以让AI处理数学语言并为你形式化一切。很容易。更广泛的影响是，数学通常被视为最后一个需要独特人类推理和创造力的领域。看着AI逐渐侵蚀这一假设，对我来说是最令人惊讶的发展之一。同时，数学不过是一种用来描述逻辑的语言。AI在这方面表现出色。
相似文章
人工智能与数学的未来（2分钟阅读）
Grant Sanderson 与 Dwarkesh Patel 探讨了人工智能在数学领域的快速进展、概念突破的本质，以及随着AI的进步这对其他领域意味着什么。
数学家反思近期AI进展的影响
一位数学家反思近期AI进展如何影响数学领域及更广泛的智识生活。
人类在高度严谨的数学测试中仍优于AI
首次 Proof 测试评估了四种AI系统在新型研究级数学问题上的表现，其中最佳模型仅得6分（满分10分），表明当前AI在严谨推理方面仍落后于顶尖数学家。
当AI做数学时，成为数学家意味着什么？
本文探讨了人工智能如何改变数学，引发了关于人类数学家角色的思考。文中引用了陶哲轩等专家的观点，并讨论了人工智能自动完成部分数学发现的潜力。
没有数学家的数学
一篇关于OpenAI的人工智能解决十个开放数学问题的反思性文章，认为人工智能最终将超越人类数学家，并重塑数学与科学。