GPT-5.6 Pro helps find a CP^5 counterexample to a long-standing bundle conjecture

soumitrashukla9 · x · 2026-07-25

• A new result shows that the conjecture “every complex topological vector bundle on projective space is algebraic” is false.
• The counterexample lives on \(CP^5\) and is not only non-algebraizable, but also has no motivic lift.
• The finding also disproves a more recent conjecture by Asok–Fasel–Hopkin, with projective space serving as a stringent test case.

Original post →

More from Research

• Blog argues LLM capabilities still come mostly from imitation, not RLVR — burny_tech · 2026-07-25
• Robotics policy keeps the vision backbone frozen and trains on a consumer GPU — mayfer · 2026-07-25
• Three CogSci 2026 posters probe LLM risk steering, probability coherence and trust priors — xuanalogue · 2026-07-25
• The Blind Spot of AI Formal Proofs: Natural Language and Lean Semantic Alignment — AlexKontorovich · 2026-07-25
• GPT-5.6 Sol Ultra helped crack a six-year quantum cryptography problem — polynoamial · 2026-07-25
• Open-source DKV framework cuts KV-cache memory for long-context local inference — Om_5000 · 2026-07-25

Research channel →