I would even be surprised if in 10 years an AI wouldn't be able to decide on the Riemann hypothesis given enough compute.
The rate of progress made in the last 10 years has been enormous, but blanks in comparison to the acceleration of the last year. Unless there are yet unknown limits to our current methods, there does not seem anything to stop us from building machines that outperform the field of human mathematics.
I could sketch you a couple of paths there if we manage to leverage current LLM to become self-improving. But even if we don't manage to do that, there are paths to leverage LLM's to solve mathematics. I can outline truly remarkable approaches, which this comment is too small to contain.
I would even be surprised if in 10 years an AI wouldn't be able to decide on the Riemann hypothesis given enough compute.
The rate of progress made in the last 10 years has been enormous, but blanks in comparison to the acceleration of the last year. Unless there are yet unknown limits to our current methods, there does not seem anything to stop us from building machines that outperform the field of human mathematics.
I could sketch you a couple of paths there if we manage to leverage current LLM to become self-improving. But even if we don't manage to do that, there are paths to leverage LLM's to solve mathematics. I can outline truly remarkable approaches, which this comment is too small to contain.