interesting. i have bet Billy, a mathematician friend , that AI will solve a significant problem by 2030. £100 bet. This article defines the challenge well.

https://manifold.markets/MatthewBarnett/will-an-ai-solve-any-important-math