数学爱好者一条提示，撬动半世纪难题：GPT-5.4 Pro 证明埃尔德什问题 #1196，并已通过 Lean 形式验证
一位并非科班出身的数学爱好者，用一条提示词促成了 GPT-5.4 Pro 对埃尔德什问题 #1196 的完整证明。该证明随后被数学界审查，并用定理证明系统 Lean 完成形式化验证，未解难题的状态正式更新为“PROVED (LEAN)”。
高阶数学迎来新工具：大型语言模型开始攻克埃尔德什难题
自GPT 5.2发布以来，大型语言模型在高阶数学推理上的表现引发学界关注，多道埃尔德什问题在人工智能参与下被标记为“已解决”。
