Первой и единственной решённой на данный момент задачей тысячелетия является доказательство гипотезы Пуанкаре, выполненное ИМ.