We have self-driving cars right now.
The average 17 year old is not formalizing Fermat's Last Theorem proofs either? The frontier is spiky, but it's AGI.
I swear at the rate the goal posts are moving we're going to have to start factoring in relativity if we want to know where the hell they actually stand.