Grok 3证明黎曼猜想，训练遭灾难性事件？数学家称不夸张，两年内AI将解出千禧年难题

17 0 0

文章摘要

【关键词】 黎曼猜想、AI数学、AlphaProof、P≠NP、技术发展

近期，关于AI证明黎曼猜想的讨论在社交媒体上引发了广泛关注。黎曼猜想作为千禧年七大数学难题之一，至今未被证明。近期的讨论起源于xAI工程师Hieu Pham的一条社交媒体帖子，他提到Grok 3 AI在训练过程中可能证明了黎曼猜想，但随后澄清这只是调侃。实际上，黎曼猜想的证明仍然是数学界的一大挑战。

目前，AI在数学领域的能力有限，但已经取得了一些进展。例如，谷歌DeepMind的AlphaProof在IMO 2024数学竞赛中成功解决了三道题目，显示出AI在数学问题解决方面的潜力。AlphaProof通过提出多种解答候选者，尝试证明和反驳每一个，最终找到正确答案的证明。尽管如此，AI距离解决黎曼猜想等千禧年难题还有很长的路要走。

关于AI在数学领域的应用，网友们展开了讨论。一些人认为数学可能是AI最先突破的领域之一，因为数学问题可以以较低成本进行验证。然而，也有数学家提出，使用AI解决数学问题的成本和复杂性之间的权衡值得深思。尽管理论上AI可以通过穷举法找到证明，但实际应用中需要考虑计算资源、硬件能力和AI工具的优化程度。

展望未来，AI在数学研究中的作用可能会逐渐增强，例如帮助人类解决引理、检查错误和形式化证明。去年，微软亚洲研究院等机构的研究人员通过与GPT-4的97轮对话，成功得出了”P≠NP“的结论，尽管证明过程并不严谨。随着AI技术的发展，未来AI或许能在解决P/NP问题、黎曼猜想等千禧年难题方面发挥重要作用。