С научным сообществом проблема до сих пор. Дело ведь не в том, что в программе может быть ошибка, а в том, что это бесполезное доказательство: оно не прлоивает ни на что свет, не объясняет, почему 4, не предлагает подходов, которые можно использовать в других задачах и т.д.