OpenAI підтвердила назву нової моделі Astra: вона вже розв’язала десять математичних задач, над якими вчені працювали десятиліттями

Ope­nAI офіційно підтвердила існування нової родини моделей під назвою Astra, опублікувавши математичний звіт із десятьма розв’язаними задачами, які раніше вважалися відкритими. За словами компанії, внутрішня версія Astra впоралася з проблемами, над якими математики не просувалися щонайменше десять років, а в більшості випадків значно довше.

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

За підрахунками Ope­nAI, токени, витрачені на генерацію всіх десяти розв’язків, обійшлися б приблизно у 2000 доларів за тарифами API моделі Sol. Після того як модель виклала математичні аргументи, люди разом із нею оформили їх у вигляді наукових статей. Кожне доведення також було формалізовано мовою Lean, що дозволяє машинно перевіряти їхню коректність.

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

Astra розробляється як нова модельна родина поряд із наявними сімействами Sol, Ter­ra та Luna. Головна відмінність — здатність координувати кількох агентів для вирішення складних завдань протягом годин або навіть днів. Генеральний директор Сем Альтман вже презентував систему політикам і регуляторам у Вашингтоні, наголосивши на її потенціалі для роботи над особливо складними задачами в науці та математиці.

За даними The Infor­ma­tion, моделі вже перебувають на стадії тестування й очікується, що саме вони першими пройдуть через новий американський регуляторний механізм адміністрації Трампа, який передбачає обов’язкове подання ШІ-моделей до уряду перед публічним випуском. Остаточну версію цього механізму планують затвердити найближчим часом. Дата виходу Astra для широкої аудиторії поки не визначена, як і те, чи вийде модель під брендом GPT‑6 або як варіант у лінійці GPT‑5.

Випуск Astra вписується у довгострокову стратегію Ope­nAI. Головний науковий директор Якуб Пахоцький іще влітку минулого року говорив про прагнення створити системи, здатні безперервно працювати над проблемою годинами та днями. До березня 2028 року компанія хоче мати повністю автономного ШІ-дослідника, який самостійно проводитиме наукові проєкти. Вже у вересні цього року Ope­nAI планує запустити систему рівня наукового стажера, яка суттєво пришвидшить роботу вчених. Astra може стати саме такою системою.