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
- Looking for a classifier of software engineering task shapes to pick models per task — StewartalsopIII · 2026-09-11
- DeepSeek V4 Pro API to continue after Sept 2026, billing unchanged — teortaxesTex · 2026-09-11
- DeepSeek V4.1 Flash Hits 98% of GPT-6 Astra's Score at 1.4% of the Cost in Third-Party Benchmark — ayushtweetshere · 2026-09-11
- TheZvi Polls: Has Your Coding Model Choice Changed Since Fable 5.1 and Astra? — TheZvi · 2026-09-11
- antirez Weighs In on Anthropic Banning Minors From Using Claude — antirez · 2026-09-11
- Engram's random reads don't suit SSDs; CPU-memory over NVLink could serve all 72 GPUs — bookwormengr · 2026-09-11