Без заголовка

Испытания, другого не придумано пока. Никаких "доказательств правильности", тут другая эпистемология. Но когда-то и мосты через речки делали, а сопромата ещё не придумано было. И ничего, жили с "ответственными применениями". Элон Маск, характеризуя современную инженерию, сказал "человечество разучилось рисковать". Так что проблема осознаётся, находятся и пути решения, включая "эти риски принимаются".