Keep in mind that 1 (or less than 5) expert human mathematician (Grigori Perelman) out of 8 billion humans managed to solve 1 of the seven millennium prize problems which was the Poincaré conjecture. [0] That alone should tell you that an AI solved a problem which only 1 human was able to do. That is AGI, and there are no more goal posts to move. (Sorry Garry Marcus)

I understand that at the same time all of us are feeling what Lee Sedol (professional Go player) felt 10 years ago after the AlphaGo match, that there was no point in continuing and you might think that the AI knows best. There are still more problems yet to be discovered with AI and requires humans to verify.

So don't be sad that this 90 year problem was solved, just be happy that is exactly what AGI should be.

[0] https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture