ИИ решил задачу на $1 млн: почему математики не спешат признавать результат

Внутренняя модель OpenAI, по заявлению компании, смогла найти решение математической задачи из числа семи «Загадок тысячелетия». Почему результаты работы искусственного интеллекта пока вызывают споры среди специалистов, «Общественной службе новостей» объяснил предприниматель и стратег, основатель бизнес-юнитов в сфере маркетинга, IT-разработки и AI-решений Константин Ким.

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

Поводом для дискуссии стало заявление OpenAI о решении одной из задач тысячелетия, за доказательство или опровержение которой Математический институт Клэя в США установил премию в размере $1 млн.

Как сообщается, расчеты начались 28 августа и завершились 5 сентября 2026 года. После этого еще около 17 часов потребовалось на формальную проверку доказательства с помощью Lean — специального языка программирования, который позволяет автоматически проверять математические рассуждения и каждый их шаг.

При этом Ким считает, что успешная формальная проверка сама по себе не должна становиться окончательным подтверждением результата. По его оценке, необходимо дождаться оценки профессионального математического сообщества и независимого экспертного подтверждения полученного доказательства.