7 нерешенных задач, которые ставят ИИ в тупик. В чём секрет?

Вокруг искусственного интеллекта огромный хайп. Он пишет код, сочиняет музыку, рисует картины…

Но почему до сих пор ни один ИИ не смог решить ни одну из семи величайших математических проблем, за которые Институт Клэя даёт $1 млн?

Разберёмся

Почему ИИ пока молчит?

Современные ИИ (даже самые продвинутые, вроде DeepMind’s AlphaProof) умеют:

Доказывать известные теоремы — но по готовым шаблонам
Решать олимпиадные задачи — если похожие уже были в обучающих данных

Но «задачи тысячелетия» — это не головоломки, а пробелы в фундаменте науки. Для них нет «образца решения». Нет интуиции — нет прорыва.

Люди решают такие задачи через:

— Озарение (как у Уайлса, доказавшего теорему Ферма после 7 лет тупиков)
— Аналогии (как Перельман, связавший типологию и физику)

ИИ работает как гипер-эрудит, а не как гений уровня Григория Перельмана.

Секрет Перельмана: Что он сделал такого, что не смогли другие?
Григорий Перельман доказал гипотезу Пуанкаре — одну из задач тысячелетия. Суть его гения:

— Он игнорировал «мейнстрим» — пока все бились над абстрактной топологией, он взял методы из термодинамики
— Увидел связь там, где её не искали — представил пространство как «текучую субстанцию»

ИИ так не умеет: он не может выйти за рамки данных или создать новую метафору.

Сэм Альтман верит, что ИИ скоро начнёт генерировать знания. Но как?

На днях Сэм Альтман заявил, что скоро ИИ начнёт генерировать новые знания — не просто анализировать данные, а совершать прорывы уровня Эйнштейна или Ньютона. Возможно ли это?

→ Да, если:

— ИИ научится выдвигать гипотезы, а не только проверять их
— Он сможет выходить за рамки данных (как это делают гении)

→ Нет, если:

— Останется просто «ускорителем вычислений»
— Пока что ИИ — это мощный инструмент, но не учёный

Как всё-таки решить эти задачи? Симбиоз человека и ИИ
Единственный реалистичный путь — союз гения и алгоритма:

— Человек придумывает безумные идеи (как аналогия Перельмана).
— ИИ проверяет их на миллиардах вариантов (как AlphaProof в математике).

Что дальше?
Ближайшие 5–10 лет: ИИ станет «супер-ассистентом» для математиков.

После 2030 года: Возможно, появятся первые прорывы — но только в связке с людьми.

Пока же «задачи тысячелетия» остаются вызовом — не только для машин, но и для человеческого гения.