Обнародовано полное доказательство гипотезы Пуанкаре
Китайские математики, по информации Xinhua, опубликовали полное доказательство гипотезы Пуанкаре - одной из "семи математических задач тысячелетия", за решение которых назначена награда в размере миллиона долларов США.
Гипотеза, о которой идет речь, была сформулирована в 1904 году французским математиком Жюлем Анри Пуанкаре (1854-1912). В исходной форме она утверждает, что всякое односвязное замкнутое трёхмерное пространство гомеоморфно трёхмерной сфере.
Как теперь сообщает Xinhua, китайские математики Чжу Сипин и Цао Хуайдун, опираясь на труды Перельмана и американского учёного Ричарда Гамильтона, предложили полное доказательство гипотезы Пуанкаре, являющейся центральной проблемой топологии. В трёхсотстраничной работе, как утверждается, освещены моменты, не охваченные статьёй Перельмана.
http://science.compulenta.ru/272278/
триста страниц - убицца можно
нет таки надо дописывать системы автоматической провеки доказательств
тогда ошибки надо будет искать только в таких системах