ох лол, какой ник. спасибо!
>>Доказательство основного результата Воеводского ошибочно. Среди
математиков это секрет Полишинеля. Ошибки в нём, указанные после
публикации, были исправлены, почему там нет других, никому неизвестно.
Потому что целиком доказательство никто толком не читал. Согласие о его
правильности -- политический компромисс, не более. После публикации этого
доказательства Воеводский прекратил занятия математикой.

Можно об этом где-то почитать? Дико интересно.
И занятия математикой он не бросал кстати. Сейчас работает над унивалентными основаниями, хочет создать proof assistant.

Интервью, которое брал Рома Михайлов, читал.

По мне эти мистические переживания напрямую связаны с многолетней работой на износ.