существует какое-то доказательство, что ИИ невозможно свести к тысячам if ?

PS: судя по картинки - там всего десятки. Но надо еще понять, на каком уровне эти if оперируют данными.
если if(A>B) и A, B - примитивные данные, то да, нельзя
если A,B сложные объекты/функции, а > - перегруженный оператор сравнения, то можно