Resolving a 54-year-old conjecture in arithmetic geometry is the kind of AI result that actually moves the needle on whether these systems can do real mathematical reasoning. Benchmarks tell you about pattern matching. Open problems tell you about understanding.