人工智能正在解决"不可能"的数学问题。它能超越世界顶级数学家吗? Live Science 于 2025年12月19日 发布了一篇题为《AI is solving ‘impossible’ math problems. Can it best the world’s top mathematicians?》的文章,探讨了人工智能在纯数学领域取得的最新进展,以及它是否即将超越人类顶尖数学。文章重点评估了最近关于 Meta 和 Google DeepMind 的AI系统声称“破解”了困扰数学家一个多世纪的“不可能”问题的说法。 虽然 Google 的 Gemini Deep Think 在 2025 年国际数学奥林匹克竞赛中取得了金牌水平的成绩——在竞赛时间限制内解决了六道题中的五道——而且 Meta 的人工智能为 10.1% 的随机生成问题找到了稳定性函数(高于 2.1%),但数学家们指出,人工智能尚未证明任何人类无法证明的定理。 菲尔兹奖得主陶哲轩预测,人工智能将在未来几年内”横扫文献”并解决数千个猜想,尽管人工智能的根本局限性在于它被训练为找到最可能的答案,而不一定是正确的答案。 人工智能
