Математические доказательства тоже сложные системы, даже у Перельмана в первичных версиях доказательства Гипотезы Пуанкаре находили ошибки. Но суть в том, что принимается оно лишь в случае полной безошибочности, то есть необходимо выкладывать в продакшен код который прошёл такие же испытания, но увы реальность такова, что такой подход (научный) в среде программистов и ПО не развит. (х*як, х*як и в продакшен одним словом).