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 条相关)→
「模型」频道最新
- Opus 5 基准分更高，真实使用却明显落后 Fable — petergyang · 2026-07-26
- Opus 5 更详细更爱建议，Kimi K3 周一开源权重 — bindureddy · 2026-07-26
- Claude Opus 5 在删掉旧工作流后明显变顺手 — thedealdirector · 2026-07-26
- Kimi 记得 PS3 密钥却漏掉最后两字节 — banteg · 2026-07-26
- Reddit 用户称 Gemini 会自己建聊天并“自问自答” — BirdAcademic848 · 2026-07-26
- Grok 4.5 扩展到工作流、Office 和千级智能体编排 — XFreeze · 2026-07-26