AI赋能数学:智能助手如何改变我们的数学研究
随着人工智能的发展,越来越多的数学研究者开始关注其在数学领域的影响,并在各种讨论会上运用不同的AI工具尝试解答数学问题。然而,数学是机器学习能做什么或不能做的试金石,其推理过程的精髓——逻辑“原因”——在机器学习中尚未解决。近期,加州理工学院和麻省理工学院的研究者发布了一篇用大语言模型证明数学定理的论文,而英伟达的数学家Jim Fan也转发了一篇利用ChatGPT证明数学定理的论文。这些成果表明,人工智能在数学领域的应用正逐步增多,甚至被视为“数学的AI Copilot(副驾驶)”时代已来临。