Everyone on Hacker News was saying "well of course, you can't just feed it to a chatbot, that's cheating! the leaderboard is a human competition!" because we've normalized that. It's not surprising, it's just obvious, oh yeah you can't have an Advent of Code competition if the computers get to play as well.
Granted it took seven years. Not three.
Yet, confidently promising AGI/self-driving/mars landing in the next couple of years over and over when the confidence is not justified makes you a conman by definition.
If the number 3 means nothing and can become 7 or 17 or 170 why keep pulling these timelines out of their overconfident asses?
Did we completely solve robotics or prove a longstanding theorem in 2020? No. So we should lose confidence in their baseless predictions.
'AI' landings on Mars are the only kind of landings possible, due to latency. JPL indisputably pwned that problem long before anyone ever heard of OpenAI.
Theorem-proving seems to require a different toolset, so I don't know what made him promise that. Same with robotics, which is more an engineering problem than a comp-sci one.
In any case the robots are getting better. Are we?