#AI给数学家带来危机了吗#2026年5月，OpenAI的通用推理模型自主证伪了匈牙利数学家埃尔德什1946年提出的“平面单位距离猜想”，该猜想已悬置80年，证明删减后仍有125页。
破解顶级难题：2026年7月，Anthropic员工用Fable5工具找出了雅可比猜想的三维反例，该猜想被菲尔兹奖得主斯梅尔列为“21世纪的世纪数学难题”。
自主证明与验证：Google DeepMind的AlphaProof Nexus利用Lean形式语言自主验证证明，解决了9道公开的埃尔德什难题，其中2道悬而未决56年，推理成本仅数百美元。
博士级研究能力：菲尔兹奖得主高尔斯让GPT-5.5 Pro在约17分钟内解决了一个加法数论开放问题，成果完全够格写入博士论文。
奥赛金牌水平：2025年7月，多个AI模型在国际数学奥林匹克竞赛中解出5道题，达到金牌水平。 http://t.cn/AX9icZ9Z