Можно ли получить научное доказательство с помощью средств data science?

Answer 1

сформулируй подробне
например, если бы у нас был определён какой-то широкий класс теорем, для которого мы хотим строить доказательства, причём он слишком общий, чтобы строить доказательства аналитически, зато мы умели бы быстро и точно проверять доказательство на правильность, то теоретически можно было бы научить какую-нибудь модель генерировать доказательство по формулировке
но это настолько синтетический пример, что дать положительный ответ на вопрос язык не поворачивается

Answer 2

Наука о данных — раздел информатики, изучающий проблемы анализа, обработки и представления данных в цифровой форме : ну это получается изучение мат. анализа - так что нет : только статистический факт .