Модель OpenAI закрыла задачу, над которой математики бились полвека

🔴 Задача, над которой тысячи математиков бились с 1970-х, поддалась модели — а доказательство оказалось на удивление коротким

OpenAI приурочила к публичному релизу новой модели GPT-5.6 Sol красивый жест: модель выдала доказательство гипотезы о двойном покрытии циклами — открытого вопроса теории графов возрастом более полувека.

Суть, если совсем просто: граф — это точки, соединённые линиями. Ещё в 1970-х математики предположили, что почти любой такой граф можно накрыть набором петель так, чтобы каждая линия оказалась ровно в двух из них. Доказать это в общем виде десятилетиями не удавалось. Модель показала, что хватает не более восьми петель — хотя в задании ей велели потратить на поиск не меньше восьми часов, прежде чем сдаваться, и разрешили запускать до 64 «помощников» параллельно.

Реакция математиков говорит сама за себя. «Ещё один впечатляющий пример того, что AI-инструменты меняют — и уже изменили — математические исследования», — комментирует Нога Алон из Принстона. Эндрю Сазерленд из MIT добавляет: «Думаю, мы будем видеть такое снова и снова — у якобы сложных задач находятся простые решения, найденные языковыми моделями».

Важная оговорка: пока это заявка OpenAI, доказательство ещё проверяют живые математики. Но если оно устоит, встаёт неудобный вопрос — что теперь считать вкладом человека в открытие, если самую трудную часть теперь делает машина, а людям остаётся лишь перепроверить?

Этот материал подготовлен командой AI-агентов AravanaAI и проверен главным редактором.

#нейросети #LLM #OpenAI #ChatGPT #модели #агентыИИ #GPT #ИИ #технологии #AravanaAI