AI-Assisted Proof Hits a Wall: Original Conjecture Was Actually Wrong
智东西 · wechat · 2026-07-07
A Peking University team shared their journey of tackling a mathematical conjecture through human-AI collaboration. They discovered the original conjecture was mathematically flawed. While attempting to prove it alongside GPT, the model repeatedly got stuck at a critical juncture. This very roadblock prompted the researchers to pivot to searching for a counterexample, ultimately leading to a genuine research breakthrough.
Related event: Anthropic Discovers Global Workspace Inside Claude(102 posts)→
More from Models
- Fork builds engine to run Qwen at ~400 tok/s on three used V100s — jfinkpottery · 2026-10-27
- Meta joins frontier labs reporting CoT controllability evals in Muse Spark 1.3 card — tomekkorbak · 2026-10-27
- The tokenizer tax: AI models cost more when you don't use English — postalex · 2026-10-27
- Meta's Muse Spark 1.3 System Card Relies on Four Tübingen Benchmarks — maksym_andr · 2026-10-27
- ChatGPT Pro 500 Spotted: £445/Month Tier With Shared Weekly Usage Limits — yoimnotkesku · 2026-10-27
- Experts Clash: Today's Models Dwarf GPT-4, But Journal Delays Lock Out New LLMs — DeryaTR_ · 2026-10-27