Такая сложная проблема, что работа разделилась. А так понял, что Перельман придумал как, а другие реализовали.
Вообще, как я понимаю, сейчас такие трудные доказательства пошли, что даже если есть доказательство, сразу не скажешь, правильное оно или нет. Нужно годы проверять.
Короче, скоро уже придётся компам всё доказывать, а мы не у дел останемся :)
Вот статья:
http://elementy.ru/news/430288