[lanstin]

Had you heard of these “famous unsolved problems” before now? If you aren’t a trained mathematician, you won’t know where to point the LLM towards achievable goals. Having it solve some Erdos problems is pretty different than a Millenium prize, and even some of those might be unknown to the general non-mathematical public. Finding counter examples, unattended, to various algebraic geometry conjectures is amazing but still a ways off from the a definitive disposition of the Riemann hypothesis, P vs NP, the Navier-Stokes problem (although I wouldn’t be shocked if Professor Tao put an LLM towards a counter example for that based on his technique of encoding machines into initial conditions of PDEs).

Although if I were a mathematical quantum physicist I might be trying to prompt one into a % mathematical field formalized quantum field theory. Weirdly this sort of obvious step has not been accomplished in the last 100 years.