«Штучний інтелект не робить це від кінця до кінця. Робить це від середини до середини. Ви повинні підказати це, а потім ви повинні це перевірити». - @balajis у подкасті @a16z Ця прогалина у верифікації є найбільшим вузьким місцем штучного інтелекту. Ми вирішуємо її за допомогою програмного виявлення 👇🏻 істини