Perhaps. But as someone who uses AI to automate something that seems in the bucket of things you are talking about - it's harder than it seems, the edge cases are endless, claude code is worse at building real systems than people think and humans are doing a lot more than people realize once you start trying to automate.
All I'm saying is the math advances of late really hasn't changed much outside of math as far as AI is concerned.