I'm not advocating for it, I don't know enough. But we already slaughter lots of animals and raise them in horrible conditions, and all robot assisted surgery already goes through animal trials.

> Second, this still doesn’t cover all the properties that make math proofs doable. It requires working in the physical world. You must physically capture or grow 10T cuts worth of animals.

It would likely be sim2real with that as the post training, reducing that requirement a lot.

> Cancer cells, for example, could regrow over months.

In that specific scenario you would likely train on receiving no unrelated injuries during the surgery, and have induced conditions with stuff tagged molecularly that you can then verify efficacy from without waiting months.

Depending on how much more data efficient sim2real makes it, you could end up seeing companies pushing it only for actual procedures the animals need but economically would never get; botched surgery and the animal gets euthanized before waking up, which they could argue was already going to happen.

> And most people wouldn’t trust the world’s greatest vet to operate on them, anyways.

Robotic surgery systems, already go through animal trials before being used on humans. So do many purely human surgery techniques.