Дело не было в сложной новой математике. По крайней мере, не в этом. Дело было в упорстве.
OpenAI представила решение конъектуры о двукратном покрытии циклами сразу перед выпуском своей новейшей модели, GPT-5.6 Sol. Своевременность? Конечно, чистый маркетинг. Воздействие? Тихая революция в том, как мы смотрим на искусственный интеллект и то, что он может делать. Люди пережевывали эту проблему более полувека. GPT-5.6 решил её, получив одну конкретную инструкцию: не сдавайся.
Это часть более широкой тенденции. Технологические гиганты вкладывают огромные средства в чистую математику. Не потому, что им важна красота ради красоты. А потому что математика — это окончательный контрольный показатель. Она доказывает рассуждения. По крайней мере, машинную версию.
«Инструменты ИИ значительно изменят математические исследования.»
— Ного Алон, математик из Принстона, о прорыве Sol. Алон назвал доказательство удивительно коротким. Что, если спросить меня, делает всё ещё смешнее.
Вот что вам нужно знать. Теория графов звучит абстрактно, даже скучно. Граф — это просто точки (вершины) и линии (рёбра), соединяющие их. Интернет? Это граф. Ваша социальная сеть? Тоже граф.
Ещё в 1970-х годах математики предположили что-то интересное об этих формах. Они думали, что почти каждый граф имеет двукратное покрытие циклами. Что это? Набор петель, которые покрывают всю структуру ровно дважды. Каждое ребро находится точно внутри двух петель.
Легко представить.
Доказать? Вот здесь прошли десятилетия.
Великие умы пытались. Они разобрали её для конкретных случаев. Они были близки. Но общее доказательство? Оно ускользало. Каждый раз.
В прошлую пятницу вмешался ИИ.
Решение оказалось элегантным. Почти простым. ИИ показал, что граф можно покрыть не более чем восемью петлями. Конечно, есть технические нюансы. Графы, удерживаемые вместе единственными тонкими нитями (ребрами разрезов), не считаются. Но для остальных? Готово.
Вот здесь поворот.
Доказательство не использовало яркие новые идеи. Никаких прорывных теорий, рождённых в кремниевых мечтах. Оно перерабатывало методы, которые люди уже пробовали. Методы, которые мы выбросили в мусор или оставили на полке, потому что нам стало скучно. Или страшно.
Вам никогда не приходило в голову, что «сложный» может просто означать «непопулярный»?
Эндрю Саутерленд из Массачусетского технологического института так и думает. Он предполагает, что репутация сложности может быть ловушкой. Студенты избегают её. Эксперты переходят дальше. Она становится самоисполняющимся пророчеством забвения. Когда у LLM нет эго или карьеры, о которой нужно беспокоиться, он просто копает.
«Мы продолжим видеть, как якобы «сложные» проблемы имеют «простые» решения.»
Саутерленд не догадывается вслепую. OpenAI опубликовала запрос, использованный для решения этой задачи. Он раскрывает усталую, механическую работу за волшебством. Запрос не был поэзией. Это были строительные леса. Инструкции для шестидесяти четырёх агентов общаться друг с другом параллельно. Перекрестная проверка. Снижение лжи и галлюцинаций, которые преследуют эти модели.
Настоящая хитрость? Директива.
Они не просто попросили ответа. Они сказали боту: Потратьте как минимум 8 часов. Не думайте о сдаче.
Большинство из нас сдалось бы ко второму часу. Или сказали бы: «Это невозможно».
Машина осталась у клавиатуры. Восемь часов.
Оказывается, гений может быть просто выносливостью, которой мы слишком устали, чтобы дать. И теперь, когда ИИ здесь, возможно, библиотека открытых проблем — это не крепость. Это сад, где мы забыли полить цветы.
