6 января 2026 года произошло событие, которое изменило отношения ИИ и человека. Ранее считалось, что ИИ аккумулирует и применяет знания и приёмы уже известные человечеству. Но связка GPT-5.2 Pro и математической модели Aristotle впервые в истории не переоткрыла забытое решение и не нашла ответ в научных архивах - она создала новое доказательство, которое до этого момента не существовало ни в одной математической работе.
Задача, которая ждала решения 50 лет.
В фокусе этого достижения - задача Эрдёша №728, которую Пол Эрдеш и его коллеги сформулировали в 1975 году.
GPT-5.2 Pro исследовал задачу и предложил стратегию поиска решения, уточнил логику и перевёл аргумент в строгую нотацию LaTeX, а затем Aristotle формализовал доказательство в Lean - специальном языке для компьютерной верификации математических истин. Когда первая версия решения дала лишь частичный результат, координирующие проект исследователи Кевин Баррето и Нат Сотханапхан дали GPT-5.2 уточнённые ограничения. На второй раз модель справилась .
Теренс Тао, живой классик математики, официально признал решение. Однако Тао сделал важное замечание: невозможно на 100% утверждать, что решение не вдохновлено статьёй Карла Померанса 2015 года, которая, вероятно, попала в обучающие данные модели. Вопросом о границах между творчеством и синтезом знания пока остаётся открытым.
Почему это важно.
Критик может возразить: задача №728 не относится к самым сложным проблемам из коллекции Эрдеша. Справедливое замечание. Однако Томас Блум, куратор портала erdosproblems.com, отметил этот случай как значимый: впервые AI сгенерировал доказательство уровня, достойного публикации в научном издании. Это не конец математики. Но, возможно, конец эпохи, когда математика развивалась исключительно человеческим умом.
Подробнее про задачу можно прочитать тут.
Последние новости:
- Телескоп размером 13 тысяч километров.
- Марс: следы воды в странном кратере.
#ИИ #Эрдеш #GPT5_2 #Aristotle #Задача728