新AI破解百万步数学难题 逼近困扰专家数十年的猜想

由加州理工学院（Caltech）数学家谢尔盖·古科夫（Sergei Gukov）领导的研究团队开发了一种新型人工智能算法，专门用于解决需要数百万步才能推导出的数学问题。该AI成功在安德鲁斯-柯蒂斯猜想（Andrews–Curtis Conjecture）相关问题上取得突破，虽然未能完全证明猜想，但已推翻了一些潜在的反例，增强了数学家对该猜想正确性的信心。研究人员将这一问题比作“在地球大小的迷宫中寻找唯一通路”，而AI通过强化学习，在尝试各种路径的过程中获得奖励，并最终找到超越人类直觉的“超级步法”（Super Moves）。相比ChatGPT的模式化回答，这种算法能够生成独特、富有创造性的数学解法，展现出真正的“跳出框架思考”的能力。研究团队强调，该AI不仅对高深数学问题有帮助，未来可能在金融预测等复杂系统分析中发挥作用。更值得注意的是，他们的算法并不依赖超大规模计算资源，使得其他研究者也能在普通计算机上复现这些突破。