Почему математика – это все еще Terra Incognita: Какие математические задачи не по зубам гениям уже 25 лет (и поможет ли ИИ)?

Математический мир вот уже четверть века живет под знаком семи задач. В 2000 году Математический институт Клэя пообещал миллион долларов за решение каждой из них. С тех пор покорилась лишь одна — гипотеза Пуанкаре. Остальные шесть остаются неприступными. Парадокс в том, что именно это «фиаско» может стать двигателем прогресса: человеческий разум, столкнувшись с абсолютным пределом, вынужден искать союзника. И этот союзник — искусственный интеллект, который уже начинает менять правила игры в фундаментальной науке.

Единственный триумф: отшельник и топология

Единственная решенная задача — гипотеза Пуанкаре — касается фундаментальных свойств многомерных сфер. Ее доказал российский математик Григорий Перельман, который затем отказался и от миллиона, и от Филдсовской медали. Его история стала символом чистого поиска истины, но главный урок в другом: для прорыва потребовались не просто упорство, а принципиально новые концептуальные инструменты. Без них «нерешаемое» остается таковым.

Шесть бастионов: где застряла мысль

Прогресс в математике, как отмечают эксперты, упирается в отсутствие «правильных инструментов». Сейчас из шести оставшихся задач ситуация выглядит так:

• Гипотеза Ходжа — попытка связать алгебру и топологию. Идей для подхода к ней «мало или совсем нет».
• Гипотеза Бёрча и Свиннертон-Дайера — касается эллиптических кривых, важных для криптографии. Здесь «есть за что зацепиться».
• Уравнения Навье-Стокса — описывают движение жидкостей и газов. Строгого доказательства, что их решения всегда «хорошие», до сих пор нет.
• Проблема P vs NP — вопрос о пределах вычислимости. Большинство ученых склоняются к тому, что P != NP, но «прогресса нет».
• Гипотеза Римана — старейшина списка, связана с распределением простых чисел.
• Массовая щель Янга-Миллса — задача из квантовой физики, требующая математического обоснования массы частиц.

Искусственный интеллект: новый микроскоп для математики

Именно здесь на сцену выходит ИИ. Речь не о чат-ботах, а о специализированных нейросетях, которые, по словам исследователей, «начинают быть полезными для математики». Они работают как сверхмощный микроскоп, просеивая огромные массивы данных и находя скрытые закономерности, недоступные человеку. Например, в теории узлов ИИ уже помог обнаружить неожиданные связи. Есть подвижки и в работе над уравнениями Навье-Стокса, где машинное обучение сужает область поиска решений.

Самое захватывающее — способность ИИ справляться с доказательствами такой сложности, которая «превосходит возможности человеческого разума». Он может проложить тропинки в логических джунглях, а математики пройдут по ним, проверяя и осмысливая найденное. Ожидается, что в ближайшее десятилетие появятся гипотезы, которые были бы невозможны без этого инструмента.

Когда-то один из советников института Клэя заявил, что задачи тысячелетия «абсолютно недоступны для компьютеров». Похоже, это утверждение само может оказаться еще одной павшей гипотезой. Мы стоим на пороге новой эры, где человеческая интуиция будет дополнена невероятной вычислительной мощью ИИ. Задачи тысячелетия — это не просто головоломки, а катализаторы прогресса, заставляющие расширять границы познания. И даже если не все они будут решены в ближайшие 25 лет, сама погоня за их решениями уже обогащает науку и наше понимание мира.