>An LLM just solved 10 top tier math problems this week

and 30 years ago a computer beat Gary Kasparov, if you'd listened to Hans Moravec you wouldn't be surprised that the first thing that gets automated is intellectual domain expertise.

Things are going to get crazy when it can figure out how to walk into a random house a and brew a cup of coffee, not do math