OpenAI 2026-07-11 GPT-5.6交出图论证明 一份只有三页的 PDF，把数学圈和 AI 圈同时拽到审稿桌前。 OpenAI 放出的循环双覆盖猜想证明，署名栏没有某位图论专家，写的是 GPT 5.6 Sol Ultra 与 Codex。它声称处理了一个延续近半个世纪的图论难题；眼下更硬的 #GPT-5.6#AI科研#数学
DeepSeek 2026-04-07 DeepSeek发布数学证明模型Prover-V2 DeepSeek在数学定理证明领域搞了个专用模型 Prover V2 ，目标是用AI在Lean 4形式化验证系统里自动证明数学定理。 这个方向为什么重要？ 数学定理证明是AI能力的一个极端测试场。因为数学不接受"差不多对"——证明要么完全正 #数学#AI证明
