OpenAI вперше офіційно підтвердила існування нової моделі штучного інтелекту Astra, яку називає «наступним великим сімейством моделей». За даними компанії, під час внутрішніх тестів система допомогла знайти рішення для десяти відкритих математичних і теоретичних задач, над якими науковці безуспішно працювали щонайменше десять років. Результати стосуються таких галузей, як теорія груп, криптографія, теорія кодування, комбінаторика та квантова інформатика.
Одним із найпомітніших досягнень стало створення першого прикладу несофічної групи — математичного об’єкта, існування якого тривалий час залишалося відкритим питанням. Отримані результати вже привернули увагу наукової спільноти. Математик Томас Блум із Манчестерського університету назвав їх важливою подією, хоча зазначив, що такі успіхи не означають швидкої заміни математиків штучним інтелектом.
У OpenAI розповіли, що після отримання рішень дослідники разом із Astra підготували повноцінні наукові статті, а всі докази були перевірені за допомогою системи Lean, яка дозволяє машинно підтверджувати правильність математичних доведень. Компанія також опублікувала покроковий опис логіки роботи моделі, наголосивши, що фінальна відповідальність за наукові публікації залишається за дослідниками.
За словами одного з розробників Astra Ноама Брауна, модель вже випробували на інших відомих математичних проблемах, однак задачі тисячоліття їй поки не підкорилися. OpenAI планує продовжити дослідження та згодом опублікувати детальний технічний звіт про нову систему. Очікується, що Astra стане окремим сімейством моделей поряд із Sol, Terra та Luna, а її комерційний запуск відбудеться після завершення внутрішнього тестування.
