EDIT: Just to add: A lot of the breakthroughs and solutions being discovered were always there. It is just that Clankers are becoming essential for lit reviews to surface useful bits we’ve already discovered in different domains. But the clankers are not inventing new maths or doing abductive reasoning to solve these math problems. They are simply incapable of that abductive reasoning leap for now.