多位专家相信 AI未来几年或将称霸数学界
-
多位专家相信 AI未来几年或将称霸数学界(图:shutterstock)(photo:CnYes)由欧几里德的《几何原本》到精确的数字符号，数学在两千多年来不断突破发展，如今，数学家们正在努力应对最新的变革力量：人工智慧。
2019 年，曾任职于 Google、现担任湾区初创企业的电脑科学家 Christian Szegedy 预测，计算机系统将在十年内赶上或超过人类最优秀数学家解决问题的能力。 去年他将目标日期修改为 2026 年。
在 AI 近期的快速推展下，这一速度可能还会提前。
去年 2 月份，DeepMind 发佈了程式设计辅助利器 AlphaCode。它使用人工智慧技术来帮助程式设计师更快地编写程式码，可以自动完成程式码、提供程式码建议并检查错误，从而提高程式设计效率。
AlphaCode 的问世意味着 AI 在解决现实世界问题的道路上又迈出了一大步。
在同一天，OpenAI 也展示了一项重要成果：他们开发的神经定理证明器成功解出了两道国际奥数题。OpenAI 的成功表明，AI 不仅可以用于解决程式设计等应用学科的问题，还能用来攻克数学等自然学科。
同样地，数学家也在愈来愈频繁地使用 AI，比如获得过菲尔茨奖的陶哲轩。他甚至预言，到 2026 年，AI 将成为数学研究领域可信赖的共同作者（co-author）。
类似的预言，Nvidia 资深 AI 研究科学家 Jim Fan 也在一篇推文中表示：「我相信，数学将成为第一门透过人工智慧实现重大突破的学科。」
使用程式来实现数学的突破，因为其做法常违背优秀数学家的直觉。例如，一个计算机科学家们经常会用来解决一些数学问题的工具叫做「暴力推理」，但是数学界对于这种方法却常常嗤之以鼻。
但 AI 不会去考量数学家的思维，DeepMind 发表了一篇论文，认为他们取得成果的方式，是透过 AI 来引导人类的直觉，从而推进数学发展。
另一方面，很多深度接触过 AI 技术的数学家，也对 AI 在数学研究中不被重视，提出了忧心。他们认为，人工智慧技术经常能够「直接地」帮助数学家们「找到」自己想要的答案。但数学家或者 AI 专家们，都搞不清楚 AI 是如何找到这个答案的。
一些网友依然对 GPT 类的工具能否真的发现有价值的真理持怀疑态度。
也有网友指出，可能人类和 AI 对于数学理解和关注本就有区别—AI 证明了什么是真的，而人类总是关注为什么它是真的。
