Задачи на хилядолетието

Задачите на хилядолетието (Millennium Prize Problems) са седем от най-дълбоките и трудни нерешени математически проблеми, формулирани от Математическия институт „Клей“ през май 2000 г.

Преглед на проблемите

За решаването на всяка от задачите институтът предлага награда от 1 милион долара. Списъкът включва: хипотезата на Риман, проблема P срещу NP, хипотезата на Поанкаре (решена от Григорий Перелман през 2002-2003 г.), съществуването и гладкостта на уравненията на Навие-Стокс, хипотезата на Бърч и Суинъртън-Дайър, хипотезата на Ходж и теорията на Янг-Милс.

Изкуственият интелект и математическите доказателства

Опитите на лаборатории като OpenAI и Google DeepMind да използват невронни мрежи за автоматично доказване на хипотези около уравненията на Навие-Стокс предизвикват ожесточен дебат в академичната общност относно границата между формално математическо разсъждение и статистическо напасване.