最近一段时间，人工智能似乎在数学领域取得了进展。英伟达数学家Jim Fan转发了加州理工学院和麻省理工学院研究者用ChatGPT证明数学定理的论文，称数学的AI Copilot（副驾驶）时代已经到来，未来人工智能将能够发现数学定理。这篇论文构建了一个基于大语言模型的定理证明器，为解决大语言模型幻觉方面的缺陷开辟了一条新途径。
几天前，数学家、菲尔兹奖得主陶哲轩表示，他最近在解决一个数学难题时“使用了GPT-4”，“它给我提供了最终的解题思路，接下来我只需要继续计算就行。”为了给更多研究者参考，他晒出了自己和GPT-4的聊天记录。
如今，越来越多的数学研究者关注人工智能对该领域的影响，他们在各种讨论会上辩论，采用不同的AI工具尝试解答数学问题。根据《纽约时报》最近对一些数学家的采访，他们正在努力应对人工智能这一最新变革力量。数千年来，数学家们已经适应了逻辑和推理方面的最新进展，他们为人工智能做好准备了吗？ 6park.com
曾供职于谷歌、现供职于湾区一家初创企业的计算机科学家克里斯蒂安·塞格迪（Christian Szegedy）预测，计算机系统将在10年内赶上或超过人类最优秀数学家解决问题的能力。去年他将目标年份修改为2026年。