Why are we wasting compute in trying to beat some artificially created benchmarks. I think ~~everybody~~ most people would agree we have reached AGI if an AI could solve some of the unsolved math problems. We have a wikipedia list too [1]

1. https://en.m.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics