Новая ИИ Astra от OpenAI начала совершать прорывы в решении математических задач

OpenAI впервые публично подтвердила существование новой линейки моделей Astra. Компания сообщила, что внутренняя версия системы смогла решить десять открытых задач по математике и теоретической информатике, над которыми исследователи безуспешно работали как минимум последние десять лет.

Среди достижений — доказательство существования несофических групп, которое закрывает один из давних вопросов современной теории групп. Результаты охватывают сразу несколько областей, включая геометрию высоких размерностей, теорию кодирования, квантовую сложность, решёточную криптографию и экстремальную комбинаторику. После получения решений исследователи OpenAI совместно с Astra оформили их в научные статьи, а сами доказательства были формализованы в системе Lean, что позволило автоматически проверить их корректность.

В научном сообществе новость уже назвали одним из самых заметных событий последних месяцев. При этом в OpenAI подчёркивают, что Astra смогла решить далеко не все задачи — например, ни одна из «Проблем тысячелетия» ей пока не покорилась. Компания также заявила, что не считает правильным приписывать такие доказательства людям, если ключевые математические идеи были получены самой моделью, и именно поэтому официально признала вклад Astra в опубликованные исследования.