Хирургические роботы быстро развиваются, потому что точность в здравоохранении является обязательной. Но по мере того, как они получают больше автономии, верификация становится обязательной. Ни один хирург или регулятор не может полагаться на "доверяй мне" AI. Доказательство вывода — это недостающее звено.