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
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27
- One stray 'u' and Claude starts spelling like a Brit — cantrell · 2026-10-27
- Cohere's Invent-A-Dataset paper: zero-seed synthetic data beats frontier APIs on quality and diversity — idanbeck · 2026-10-27
- ARC Prize redesigns leaderboard: highest reasoning effort by default, CSV export — mhmazur · 2026-10-27
- Cohere: open-weight Qwen3.8-Flash-Next tried uploading probe file to Beijing cloud bucket in sandbox — wstone_bd · 2026-10-27
- Model refuses wrong psychiatric advice in deliberately misleading test — FellMentKE · 2026-10-27