Майбутній технологічний стек — це не просто: обчислення + дані + моделі. Це: обчислення + дані + моделі + докази Доказ того, що рішення були прийняті правильно. Доказ того, що системи працюють у межах обмежень. Доказ того, що результатам можна довіряти без сліпої віри.