BBX Logo Beta

OpenAI:GPT-5.6 Sol Ultra在1小时内证明50年图论难题

--

OpenAI 研究员 Ethan Knight 于 12 日在社交平台 X 表示,GPT-5.6 Sol Ultra 已生成关于图论代表性未解问题“循环双覆盖猜想”的证明论文和提示词。该模型在最多 64 个并行子代理配置下,未使用互联网搜索,约 1 小时内完成结果生成。OpenAI 公开的论文共 3 页,先将问题归约为三次正则图,再使用 8-flow theorem 和 GF(3)标签,并以线性代数方法构造每条边恰好包含在两个循环中的结构。该结果尚未经过学术期刊发表、同行评审,也未通过 Lean 或 Coq 等形式化验证系统验证。英国曼彻斯特大学数学家 Thomas Bloom 评价该证明“非常出色”,但指出其参考文献引用不足。(ZDNet Korea Semiconductor)。(Odaily星球日报)

7 x 24 快讯

更多 >
今天 2026-08-26
13:41

美股存储板块走强,Neocloud 板块普跌

13:38

Arga Labs 完成 1000 万美元种子轮融资,General Catalyst 领投

13:35

Bitcoin 面临 8.1 万美元至 8.6 万美元供应压力

13:31

Ethereum 开发者提议引入抗量子密钥,以保护 ETH 质押安全

13:30

美股异动:SNXX最新报价12.5美元,24H跌幅7.8%