Sorry the wording of that phrase was too ambiguous. I meant it had solved more proofs than any human had in their lifetime, and those were at least difficult enough to stump humans for years or decades. I didn’t mean that they were more difficult than proofs that humans had solved, simply that the AI had solved a higher quantity of them, and that, on average, they would be considered difficult. At least difficult enough to stump humans for a pretty good stretch of time.

Maybe it’s a fantasy but if they could replace humans with machines that never bargained and went on holiday, they would in a heartbeat. And that’s what they want to do. Maybe they will fail, maybe the technology will develop. It can do many things today that it couldn’t so a few years ago. It’s already solved more difficult mathematical proofs than any human alive today for example.

They will get less labor whether they want it or not. They are banking on being able to fill it in with AI.

Genocide is unneeded. Population levels decline naturally as people urbanize. Just keep moving people into cities and industrializing farming and the problem will solve itself.

This could be the solution to our tankie problem!