Матемаг
Показали, что существует такое гладкое решение уравнений, что за конечное время оно приводит к сингулярности. Собственно, вопрос о существовании такого решения (или доказательстве его отсутствия) и был одной из проблем тысячелетия (вернее, одной из его формулировок).