Can Old Math Beat AI in 2025?