The Disconnect Between AI Benchmarks and Math Research | Hacker News Reader