There has been a lot of intermediate progress on the Riemann hypothesis, for example ruling out particular kinds of zeros, and some of those partial results even involve LLMs https://www.anthropic.com/research/riemann-zeta so I don't see why I can't possibly be a gradual effort.