sceptic писал(а):
Котофеич писал(а):
:evil: Должно существовать более короткое доказательство, основанное на подходящей
полной системе топологических инвариантов виттеновского типа

А мне кажется - наступают времена, когда коротких доказательств существенных результатов не осталось

. За последние три века математики все простое, легкое и короткое в ней (в технологическом смысле) выбрано.

Когда я писал
"короткое доказательство", то не подразумевал короткое и общедоступное, т.е. простое. Короткое может быть таким трудным, что далеко не
каждый разберется. Существует однако и короткое. Какое конкретно, это здесь не
очень важно. Кто то в критический момент, взял и шутки ради, подсунул его Грише
Гриша как великий математик, сумел быстренько разобраться, естественно сильно
расстроился, а как следствие отказался от медали
