00:00
Монета News
Монета News
USD/RUB
EUR/RUB
Технологии

ИИ OpenAI решил математическую задачу полувековой давности

Модель GPT-5.6 Sol справилась с гипотезой о двойном покрытии циклов, которая оставалась одной из самых упорных проблем в теории графов с 1970-х годов. Нейросеть не только нашла общее доказательство для класса объектов, состоящих из вершин и ребер, но и ограничила количество необходимых для покрытия циклов числом восемь.

ИИ OpenAI решил математическую задачу полувековой давности

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

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

Поделиться

Комментарии (0)

Оставить комментарий

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