Здравствуйте, Nuzhny, Вы писали:

N>Такие доказательства уже есть. Например, задачу доказательства свели к 10 тысячам частных случаев. Программа проверила все эти частные случаи — теорема доказана.

Иными словами, ученые 10 лет работали, чтобы доказать, что теорема сводится к 10 тысячам частных случаев, которые можно проверить вычислительным методом?