GPT-5.6 Sol
GPT-5.6 Sol Ultra 证明数学猜想
就在7月10日，OpenAI在GPT-5.6 Sol全面开放次日宣布，其旗舰模型Sol Ultra在不到一小时内，独立证明了图论领域悬而未决50年的“循环双覆盖猜想”，该猜想由George Szekeres与Paul Seymour于1970年代分别提出，核心问题是：任意无桥图中，能否找到一组循环使每条边恰好出现两次。据OpenAI公布，模型通过最多64个并行子智能体协同工作，仅消耗约275-485美元的算力成本即完成证明。我看到数学家Thomas Bloom评价其“简洁且基础”，但指出未引用文献、未经同行评审及缺乏形式化验证等问题，目前证明正接受数学界严格审查。
发布于 广东
1
1
3
未登录
友善发言
评论
加载中
