Компанія OpenAI офіційно підтвердила створення нової штучної нейронної мережі під назвою Astra. У опублікованому звіті зазначено, що модель стала «наступним великим сімейством» розробок компанії та продемонструвала здатність вирішувати фундаментальні наукові задачі, над якими людство працює десятиліттями.

Прорив у математиці та теорії груп

Внутрішня версія Astra успішно вирішила десять відкритих проблем у галузі математики та теоретичної інформатики. Дослідники працювали над цими задачами безрезультатно як мінімум десять років, а в деяких випадках — значно довше. Сфери охоплення моделі включають багатовимірну геометрію, теорію кодування, квантову складність, криптографію на ґратках та екстремальну комбінаторику.

Одним із найважливіших досягнень стало побудова першого прикладу несофічної групи. Існування такого математичного об'єкта обговорювали багато років, і його відкриття може стати ключем до вирішення однієї з фундаментальних проблем сучасної теорії груп.

Реакція наукової спільноти

Результати роботи Astra викликали живий відгук у академічному середовищі. Математик Манчестерського університету Томас Блум назвав їх «великою новиною». На його думку, значення цих відкриттів перевищує навіть опублікований у травні контрприклад до гіпотези про одиничні відстані.

При цьому Блум скептично ставиться до ідеї швидкої заміни математиків штучним інтелектом. Він зазначає, що сучасні ШІ-системи самі базуються на багаторічній праці математичної спільноти та навчені на створеній ними науковій літературі.

Технологія та формалізація доведень

Один із розробників технології міркувань Astra, Ноам Браун, розповів, що компанія вже намагалася застосувати модель до інших відомих відкритих задач, але поки що безрезультатно. Зокрема, модель ще не змогла вирішити жодну з «задач тисячоліття», за які Інститут Клея пропонує мільйон доларів.

Тим не менш, обсяг обчислень, необхідний для вирішення десяти поточних задач, був відносно невеликим: за оцінками OpenAI, це еквівалентно приблизно $2000 при використанні API моделі Sol за поточними тарифами. Після генерації ідей дослідники спільно з Astra перетворили їх на повноцінні наукові статті.

Важливим аспектом роботи стало використання системи Lean — мови програмування та інтерактивного інструменту для перевірки теорем. Це дозволило формалізувати доведення та зробити їх машиноперевірними, виключивши помилки, характерні для ручного запису. OpenAI також опублікувала покроковий опис логіки міркувань моделі.

Майбутнє Astra та регуляторний контроль

Раніше OpenAI повідомляла про розробку нового сімейства моделей для виконання тривалих і складних задач. Цього тижня генеральний директор Сем Альтман представив Astra представникам уряду та регуляторних органів США, підкресливши її здатність координувати роботу численних ШІ-агентів.

За даними джерел, Astra увійде до лінійки продуктів разом із моделями Sol, Terra та Luna. Комерційна назва поки що не розголошується. Нові моделі вже проходять внутрішнє тестування та стануть першими системами компанії, які будуть перевірятися в рамках розроблюваної у США процедури оцінки передових ШІ-моделей.

Головним завданням розробників залишається забезпечення стабільної роботи моделей під час виконання тривалих ланцюжків міркувань, що сьогодні вважається одним із основних обмежень агентних ШІ-систем.