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