GPT-5.6 Sol被称能形式化证明题
jasondeanlee · x · 2026-07-16
帖子引用了一则关于 GPT-5.6 Sol 的能力展示：有人声称它在使用 CDC prompt 和多个子智能体的情况下，几小时内解决了 Erdős Problem #796，并把证明完整形式化到 Lean 中。
引用者则泼冷水，表示自己拿同样方法试过一个非 Erdős 问题，结果“会把你搞到破产”，暗示这类方法在别的问题上未必可靠。整体是在讨论模型做数学证明与形式化验证的边界。
所属事件:GPT-5.6接连破解多年未解数学难题(4 条相关)→
「研究」频道最新
- HF 工程师争论:非生成任务全用因果注意力是在浪费算力 — antoine_chaffin · 2026-09-11
- 智利学者：AI 反馈规模化是医学教育可持续的关键 — julianvarascom · 2026-09-11
- Nature 新研究实现全身器官细胞活动成像,揭示跨器官体级回路 — arjunrajlab · 2026-09-11
- SignNet 1M 手语数据集发布 — ducha_aiki · 2026-09-11
- ECCV26 口头论文：流匹配实现多视角点云配准 — ducha_aiki · 2026-09-11
- InFlux++ 方法发布 — ducha_aiki · 2026-09-11