Гипотеза Пуанкаре́ — доказанная математическая гипотеза о том, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. Сформулированная в 1904 году математиком Анри Пуанкаре гипотеза была доказана в серии статей 2002—2003 годов Григорием Перельманом. После подтверждения доказательства математическим сообществом в 2006 году гипотеза Пуанкаре стала первой и единственной на данный момент решённой задачей тысячелетия.
Диофа́нтово уравнение — это уравнение вида

Откры́тые (нерешённые) математи́ческие пробле́мы — задачи, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве.
Гипотеза Морделла — гипотеза о конечности множества рациональных точек на алгебраической кривой рода
, выдвинутая Луисом Морделлом в 1922 году. Позже гипотеза была обобщена с поля
рациональных чисел на произвольное числовое поле. Была доказана Гердом Фальтингсом в 1983 году и теперь также называется теоремой Фальтингса.

Гипотеза Бёрча — Свиннертон-Дайера — математическая гипотеза относительно свойств эллиптических кривых, одна из задач тысячелетия, за решение которой институтом Клэя предложен приз в $1 млн.
Постоя́нная Катала́на — число, встречающееся в различных приложениях математики — в частности, в комбинаторике. Чаще всего обозначается буквой G, реже — K или C. Она может быть определена как сумма бесконечного знакочередующегося ряда:

Теорема геометризации утверждает, что замкнутое ориентируемое трёхмерное многообразие, в котором любая вложенная сфера ограничивает шар, разрезается несжимающимися торами на куски, на которых можно задать одну из стандартных геометрий.
Теория чисел — это раздел математики, занимающийся преимущественно изучением натуральных и целых чисел и их свойств, часто с привлечением методов математического анализа и других разделов математики. Теория чисел содержит множество проблем, попытки решения которых предпринимались математиками в течение десятков, а иногда даже сотен лет, но которые пока так и остаются открытыми. Ниже приведены некоторые из наиболее известных нерешённых проблем.
Гипотеза Буняковского гласит, что если
— целозначный неприводимый многочлен и d — наибольший общий делитель всех его значений в целых точках, то целозначный многочлен
принимает бесконечно много простых значений.
abc-гипотеза — утверждение в теории чисел, сформулированное независимо друг от друга математиками Дэвидом Массером в 1985 году и Джозефом Эстерле в 1988 году.
Гипо́теза Пиллаи — теоретико-числовая гипотеза, согласно которой при заданных натуральных числах
уравнение:

Полнократное число — положительное целое число, которое делится нацело квадратом каждого своего простого делителя.

Дон Бернард Цагир — американский математик, работающий в области теории чисел. Он является одним из директоров Института математики общества Макса Планка в Бонне и профессором Коллеж де Франс.
Гипотеза Ферма — Каталана — теоретико-числовая гипотеза, обобщающая Великую теорему Ферма и гипотезу Каталана. Она утверждает, что уравнение

Гипотеза Ландера — Паркина — Селфриджа в теории чисел является предположением об условиях существования решений в натуральных числах уравнений для сумм одинаковых степеней неизвестных. Эти уравнения являются обобщением уравнений великой теоремы Ферма.
Уравнение Рамануджана – Нагеля в теории чисел — уравнение следующего вида:
