AI在数学中开启科学发现的新黄金时代

匈牙利数学家保罗·埃尔德什留下了数百个悬赏解决的未解难题，其中之一是几何图论中的单位距离猜想。该猜想本质上询问的是：在一组点中，最多能有多少条等长的连线？这个问题违背人类直觉，困扰了学界近80年。一种生成式算法发现了人类忽略的非平凡空间结构，从而部分解决了该问题。如今，人工智能负责处理枚举数百万种组合并发现隐藏模式这类繁琐工作，而Lean或Coq等交互式定理证明器则验证每一步骤，避免了幻觉（即错误推断）的出现。尽管取得了这些成功，但黎曼假设或纳维-斯托克斯方程等根本性问题仍未解决，因为它们需要新的概念语言。对于俄语科学界而言，这种计算方法的转变依托于其深厚的数学传统，应用范围涵盖从神经网络优化到抗量子密码学。人工智能充当了人脑的数字外骨骼，将研究人员从常规任务中解放出来，让他们专注于战略目标和概念愿景。