10 задач за $2000: ШІ Astra від OpenAI розв'язав проблеми, над якими вчені билися десятиліттями

03 серпня 2026 р. 15:47

03 серпня 2026 р. 15:47

Компанія OpenAI зробила те, чого від неї чекали роками — вперше офіційно підтвердила існування нової родини моделей штучного інтелекту під назвою Astra. І одразу показала результат, який можна назвати проривом у науці: внутрішня версія Astra розв'язала десять математичних задач, що залишалися відкритими щонайменше десятиліття.

Як повідомляє NoWorries, компанія опублікувала математичний звіт із десятьма доведеннями. Результати охоплюють відразу кілька складних галузей: високовимірну геометрію, теорію кодування, теорію груп, квантову складність, решіткову криптографію та екстремальну комбінаторику.

Що саме довела Astra

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

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

Що відомо про саму модель

Astra розробляється як нова модельна родина поряд із наявними сімействами Sol, Terra та Luna. Її головна відмінність — здатність координувати кількох ШІ-агентів для вирішення складних завдань протягом годин або навіть днів. Тобто це не просто «розумний чат-бот», а система, здатна до тривалої автономної інтелектуальної роботи.

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

Коли Astra стане доступною

Генеральний директор OpenAI Сем Альтман уже презентував систему політикам і регуляторам у Вашингтоні, наголосивши на її потенціалі для роботи над особливо складними задачами в науці та математиці. За даними The Information, моделі вже перебувають на стадії тестування. Очікується, що саме Astra першою пройде через новий американський регуляторний механізм адміністрації Трампа — він передбачає обов'язкове подання ШІ-моделей до уряду перед публічним випуском.

Точна дата виходу Astra для широкої аудиторії поки не визначена. Неясно й те, чи вийде модель під брендом GPT-6, чи як варіант у лінійці GPT-5. Проте стратегія OpenAI вже окреслена: до березня 2028 року компанія хоче створити повністю автономного ШІ-дослідника, здатного самостійно проводити наукові проєкти. А вже у вересні 2026 року планується запуск системи рівня наукового стажера — Astra може стати саме такою системою.

Раніше портал Знай повідомляв, chatGPT ледь не вбив пастора: OpenAI вперше судиться через медичні поради ШІ .

Також наш портал інформував, OpenAI безкоштовно відкриває GPT-5.6 для 100 тисяч науковців: що відомо .

Технології