GPT-5.6 Pro helps find a CP^5 counterexample that kills two conjectures
danshipper · x · 2026-07-26
- The post highlights a new counterexample on \(CP^5\) that disproves the conjecture that every complex topological vector bundle on \(CP^n\) is algebraic.
- It says GPT-5.6 Pro helped find an example that is not only non-algebraizable, but also has no motivic lift.
- The finding also overturns a more recent conjecture by Asok–Fasel–Hopkins, underscoring that frontier models are starting to contribute to real mathematical discovery.
Related event: GPT-5.6 Pro Finds Counterexample Disproving Math Conjecture(2 posts)→
More from Models
- Opus 5 beats Fable on benchmarks but loses badly in real use, analyst says — petergyang · 2026-07-26
- Opus 5 feels more prescriptive and detailed, with Kimi K3 open weights due Monday — bindureddy · 2026-07-26
- Claude Opus 5 works better after an agent workflow is stripped back — thedealdirector · 2026-07-26
- Kimi appears to know a PS3 key but misses the last two bytes — banteg · 2026-07-26
- Reddit user says Gemini is spawning chats and answering questions nobody asked — BirdAcademic848 · 2026-07-26
- Grok 4.5 adds Workflows, Excel, Outlook, and 1,024-agent orchestration — XFreeze · 2026-07-26