GPT-5.6 Pro 找到 CP^5 反例，连破两个数学猜想
danshipper · x · 2026-07-26
- 这条转述的核心是：在 \(CP^5\) 上找到了一个反例，推翻了“\(CP^n\) 上每个复复拓扑向量丛都是代数的”这一猜想。
- 贴文称 GPT-5.6 Pro 参与找到了这个例子，而且它不仅“不可代数化”，还没有 motivic lift。
- 这一结果也一并否定了 Asok–Fasel–Hopkins 的较新猜想，说明前沿模型已经开始实质性介入数学发现。
所属事件:GPT-5.6 Pro 找到反例连破数学猜想(2 条相关)→
「模型」频道最新
- FrontierML 基准:Kimi K3.1 Pro 成最强开源模型,但仍远落后 Opus 5.5 — teortaxesTex · 2026-10-27
- 医疗评测：Kimi K3 平 GPT-6，但疑难病例开源落后 17 个百分点 — keunwoochoi · 2026-10-27
- 健康专项榜单洗牌：综合第 9 的开源模型跃居 Health Index 第一 — keunwoochoi · 2026-10-27
- DeepSeek 每 token KV 缓存两年降至 890 字节,开源闭源差距之辩 — teortaxesTex · 2026-10-27
- GPT-6 Astra 零微调操控灵巧手：500 试仅 26 次成功，成功率 5.2% — stingning · 2026-10-27
- 爆料推测:fable 5.5 或达 4-5 万亿参数,以规模压制 Opus — haider1 · 2026-10-27