新上线今天0 投票
AI接管数学的时代已经开启
数学家詹姆斯·梅纳德（James Maynard）在过去一年里一直在“灵魂拷问”。 这位牛津大学教授、菲尔兹奖得主告诉The Verge，他正努力应对人工智能给这个传统上进展缓慢的学科带来的剧变。就在我们交谈的前几天，OpenAI宣布其模型成功解决了10个长期未解的数学难题，其中一些困扰了学界数十年。
从文本到定理：AI如何攻克数学
与生成文本、图像或提出科学假说的生成式AI类似，OpenAI的模型（代号Astra）通过从海量训练数据中学习模式和关联，然后利用这些知识创造新内容。在数学领域，这意味着以新颖的方式组合已知结果、方法和工具来攻克难题，有时还能在不同领域之间建立意想不到的联系，或重新发掘学术文献中被遗忘的概念。
兴奋与忧虑交织
The Verge采访的多位数学家表示，这一进展引发了复杂的情感。一方面，他们为加速数学发现的潜力感到兴奋；另一方面，他们也担忧这对毕生从事数学研究的人以及未来几代数学家意味着什么。几乎没有人怀疑，一场深刻的变革已经开始。
OpenAI解决的这些问题涵盖了广泛的数学领域，从高度抽象的理论到具有实际应用的问题。例如，其中一个突破涉及在超过三维的空间中如何紧密堆积球体，这直接关系到数据传输效率等实际问题。
未来的不确定性
尽管AI展现了惊人的能力，但数学家们对其局限性也有清醒的认识。目前，AI的推理过程仍然缺乏透明性，且依赖人类专家来验证结果。此外，AI的解决方案有时难以理解，这给数学的验证和教学带来了新挑战。
梅纳德表示，他正在重新思考数学研究的本质和未来方向。他担心，如果AI能够解决传统难题，那么人类数学家的角色将如何转变？是成为AI的“验证者”还是“解释者”？这些问题尚无定论，但可以肯定的是，数学这门古老的学科正站在一个新时代的门槛上。
