数学爱好者一条提示，撬动半世纪难题：GPT-5.4 Pro 证明埃尔德什问题 #1196，并已通过 Lean 形式验证
一位并非科班出身的数学爱好者，用一条提示词促成了 GPT-5.4 Pro 对埃尔德什问题 #1196 的完整证明。该证明随后被数学界审查，并用定理证明系统 Lean 完成形式化验证，未解难题的状态正式更新为“PROVED (LEAN)”。
一位并非科班出身的数学爱好者，用一条提示词促成了 GPT-5.4 Pro 对埃尔德什问题 #1196 的完整证明。该证明随后被数学界审查，并用定理证明系统 Lean 完成形式化验证，未解难题的状态正式更新为“PROVED (LEAN)”。
