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
- RoMa v2 image matching model unveiled in the usual black poster — ducha_aiki · 2026-09-11
- OpenAI rated Astra 'Critical' for cyber capabilities — and admits it's harder to monitor — theguywhobuilds · 2026-09-11
- TestingCatalog's Daily AI Brief adds email editions, dishing Meta Muse and GPT-Live-1 rumors — testingcatalog · 2026-09-11
- ChatGPT monthly active users top 1.06 billion in August, fourth straight record month — FinanceYF5 · 2026-09-11
- PuzzleMask: Plain-Prose Attack Bypasses All 4 Tested LLM Gatekeepers at 100% — TechNadu · 2026-09-11
- OpenAI Codex may issue another usage reset this weekend, says Codex lead resets happen — umesh_ai · 2026-09-11