OpenAI бросила вызов математикам: GPT-5.6 решает нерешаемое!
📊 OpenAI бросила вызов математикам: GPT-5.6 решает нерешаемое!
10 июля OpenAI удивила мир, заявив, что их новейшая модель GPT-5.6 Sol Ultra нашла доказательство гипотезы о двойном покрытии циклами. Эта задача из теории графов оставалась нерешённой почти полвека. Инженер компании Итан Найт рассказал, что на решение модели потребовалось менее часа с использованием 64 параллельных сабагентов. Пока математики проверяют правильность решения, особенно интересен сам подход, применённый OpenAI.
Гипотеза выглядит обманчиво простой: в графе без мостов можно подобрать набор циклов, покрывающий каждое ребро ровно дважды. Однако, несмотря на кажущуюся простоту, доказать её не удавалось уже 50 лет. Множество частных случаев решены, но общий случай буксовал из-за "снарков" — коварного класса графов. OpenAI представила трёхстраничное доказательство, использовав классические методы из работ Джагера и Килпатрика и линейную алгебру. Все инструменты существовали еще в 1980-х, но только сейчас их сложили в правильную комбинацию.
◾️ Время решения: менее 1 часа
◾️ Количество агентов: 64
◾️ Длина доказательства: 3 страницы
> "Решение около сорока лет лежало на поверхности, но поколения специалистов прошли мимо короткой комбинации известных идей."
Интересно, что для достижения результата AI запретили возвращаться к частичным решениям и гуглить — уход от стандартных методов работы с ИИ. Модель следила за временем и, по факту, уложилась быстрее, чем планировалось.
Кто знает, может, следующие великие открытия тоже будут лежать на поверхности?
Подписаться на «Нейро Пульс»
Первоисточник ↗
10 июля OpenAI удивила мир, заявив, что их новейшая модель GPT-5.6 Sol Ultra нашла доказательство гипотезы о двойном покрытии циклами. Эта задача из теории графов оставалась нерешённой почти полвека. Инженер компании Итан Найт рассказал, что на решение модели потребовалось менее часа с использованием 64 параллельных сабагентов. Пока математики проверяют правильность решения, особенно интересен сам подход, применённый OpenAI.
Гипотеза выглядит обманчиво простой: в графе без мостов можно подобрать набор циклов, покрывающий каждое ребро ровно дважды. Однако, несмотря на кажущуюся простоту, доказать её не удавалось уже 50 лет. Множество частных случаев решены, но общий случай буксовал из-за "снарков" — коварного класса графов. OpenAI представила трёхстраничное доказательство, использовав классические методы из работ Джагера и Килпатрика и линейную алгебру. Все инструменты существовали еще в 1980-х, но только сейчас их сложили в правильную комбинацию.
◾️ Время решения: менее 1 часа
◾️ Количество агентов: 64
◾️ Длина доказательства: 3 страницы
> "Решение около сорока лет лежало на поверхности, но поколения специалистов прошли мимо короткой комбинации известных идей."
Интересно, что для достижения результата AI запретили возвращаться к частичным решениям и гуглить — уход от стандартных методов работы с ИИ. Модель следила за временем и, по факту, уложилась быстрее, чем планировалось.
Кто знает, может, следующие великие открытия тоже будут лежать на поверхности?
Пока нет комментариев — будьте первым.