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
- Fable 5.5 launch rumors persist for third week, but no frontier model drops this month — patience_cave · 2026-10-26
- OpenAI upgrades Decisions API: 400 questions per call, native voice and image support — OpenAIDevs · 2026-10-26
- Fangcun AI, China's first independent frontier AI safety lab, launches with DeepSeek eval report — JacquesThibs · 2026-10-26
- When AI hits an existential crisis: model confuses itself and everyone else — Ok-Delivery-7437 · 2026-10-26
- Kimi K3.1 Pro tops MathArena open models, closing frontier gap to about 6 months — teortaxesTex · 2026-10-26
- Ruff creator Charlie Marsh: frontier models find infinite bugs in any software — charliermarsh · 2026-10-26