Для достижения результата команда OpenAI задействовала 64 параллельных ИИ-агента, работавших над задачей более восьми часов. Алгоритм был настроен на игнорирование статуса «нерешаемой» проблемы, что позволило модели синтезировать существующие математические подходы и вывести новое решение. Ранее эксперты могли подтвердить теорию лишь для частных случаев графов, но общее доказательство оставалось недосягаемым для академического сообщества.
ИИ OpenAI решил математическую задачу полувековой давности
Модель GPT-5.6 Sol справилась с гипотезой о двойном покрытии циклов, которая оставалась одной из самых упорных проблем в теории графов с 1970-х годов. Нейросеть не только нашла общее доказательство для класса объектов, состоящих из вершин и ребер, но и ограничила количество необходимых для покрытия циклов числом восемь.

Профессор Массачусетского технологического института Эндрю Сазерленд считает, что этот прорыв указывает на смену парадигмы в фундаментальной науке. По его мнению, многие задачи десятилетиями считались тупиковыми лишь из-за ограниченности человеческого внимания, тогда как языковые модели способны эффективно перебирать и комбинировать сложные методы. Математик из Принстона Нога Алон также подчеркнул, что ИИ прочно закрепляется в роли полноценного партнера исследователей, способного брать на себя вычислительную нагрузку, которая прежде требовала колоссальных усилий от ученых.




Комментарии (0)
Пока нет комментариев. Будьте первым!