Symbolic reasoning vs. statistical pattern matching

OpenAI's Math Obsession Is a Benchmark in Search of a Product

Ernest Ryu solved a 42-year-old optimization problem in 12 hours using ChatGPT, then explained why this matters for AGI.