99.9% of the population would not be able to solve these problems given a year and access to every piece of mathematical literature ever written (except the solutions to these problems of course).

Saying that you need to solve these to be considered AGI is ridiculously strict.