‘A Maze the Size of Earth’: New AI Tackles Math Problems That Take Millions of Steps