Цікаве порівняння з ШІ, який створює багато математики/коду і демонструє правильність за допомогою формальної верифікації, полягає в тому, що ми ніби переходимо до епохи NP, де твердження — це математика/код, а свідки — це докази

Звісно, це не ідеально, адже ми все ще можемо (мабуть) перевірити код самостійно