Demis' bar is high and he stated clearly multiple times: AGI should be capable of inventing truly novel things. Examples he gave included the Theory of General Relativity and the game of Go.

Just a taste of what's to come: https://openai.com/index/model-disproves-discrete-geometry-c...

Anthropic's latest model also solved this 80-year-old problem that eluded many expert mathematicians, in a different way, according to one of its employees.

Remember we still have 4 years until 2030.