形式化证明

OpenAI 让 AI 达到奥数金牌线 — 数学推理跨过门槛，但'真懂'还远

OpenAI 公开 AI 数学推理进展，模型在 IMO 级题目达到金牌分数线。是技术真突破还是'会考试不懂数学'？我们拆解这次发布的真实信号与水分。