碾压OpenAI！谷歌AI连破9项数学难题，破解56年残局

Google DeepMind 最近通过其名为 AlphaProof Nexus 的新系统，在数学领域取得了超越 OpenAI 的重大突破。该系统利用大语言模型结合 Lean 形式化验证工具，自主解决了 9 个困扰数学界数十年的埃尔德什猜想。与以往仅提供预测答案的 AI 不同，该技术能够生成并自我验证数学证明，极大地提高了研究的可靠性与效率。除了解决核心难题，它还证明了数十个数学猜想，展示了 AI 从简单的问答工具向自主科学探索引擎的进化。尽管在处理复杂数学构造方面仍存在局限，但这一进展预示着人类将进入机器速度的科学发现新时代。