It's a bad analogy. Math proofs lend themselves to just throwing more compute at the problem both in training and at inference, you can verify when you are done. Most tasks don't lend themselves well to training or inference.

Robotics isn't really a coherent grouping. Some things that would be termed "robotics" are already "solved", other things aren't even close and need actuating and sensing capabilities that are miles off or so cost prohibitive that it doesn't make any sense.