Я это не так вижу, но вряд ли смогу объяснить внятно. У меня в журнале было насколько статей о природе компьютерного доказательства в математике, какие из них и в какой степени можно считать строгими доказательствами. Это действительно отдельный, сложный вопрос.