Astra від OpenAI: Революційний ШІ, що Розв’язує Десятилітні Математичні Задачі
Компанія OpenAI офіційно підтвердила існування своєї новітньої моделі штучного інтелекту під назвою Astra. Представники OpenAI описують її як “наступне велике сімейство моделей”, яке вже продемонструвало вражаючі здібності, допомігши вирішити десять складних завдань з математики та теоретичної інформатики. Ці проблеми залишалися нерозв’язаними щонайменше десятиліття, а деякі з них – значно довше.
Джерело зображення: Nano Banana Pro / The Decoder
Масштаб Досягнень Astra
Вирішені Astra завдання охоплюють такі галузі, як багатовимірна геометрія, теорія кодування, теорія груп, квантова складність, криптографія на решітках та екстремальна комбінаторика. Особливо варто відзначити побудову Astra першого прикладу несофічної групи – математичного об’єкта, існування якого активно обговорювалося дослідниками протягом багатьох років. Це відкриття може стати ключем до розв’язання однієї з фундаментальних проблем сучасної теорії груп.
Томас Блум, математик з Манчестерського університету, назвав результати роботи Astra “величезною новиною”, яка має значно більшу вагу, ніж нещодавно опублікований контрприклад до гіпотези про одиничні відстані. Водночас, він не вважає, що такі досягнення свідчать про неминучу заміну математиків штучним інтелектом. На його думку, сучасні ШІ-системи базуються на багаторічній праці математичної спільноти та навчаються на створеній нею науковій літературі.
Ноам Браун, один із розробників системи міркувань Astra, зазначив, що OpenAI вже пробувала застосувати модель до інших відомих відкритих завдань, проте поки що без успіху. Він висловився так: “На жаль, жодних завдань тисячоліття (поки що)”.
Математичний інститут Клея пропонує винагороду в 1 мільйон доларів США за розв’язання кожної з семи “завдань тисячоліття” – фундаментальних математичних проблем. З 2000 року вдалося вирішити лише одне з них. За словами Брауна, OpenAI ще не витрачала значних обчислювальних ресурсів на ці завдання, але планує продовжувати експерименти. Він також назвав Astra “важливим кроком уперед у наукових міркуваннях”.
За попередніми оцінками OpenAI, обсяг обчислень, необхідний для отримання рішень усіх десяти завдань, еквівалентний приблизно 2000 доларів США (приблизно 75 000 ₴ за поточним курсом 2026 року) при використанні API моделі Sol за чинними тарифами. Пізніше дослідники спільно з Astra трансформували отримані ідеї у повноцінні наукові статті.
Джерело зображення: AI
Формалізація та Публікація Результатів
Усі доведення були також формалізовані в системі Lean – інструменті, що поєднує мову програмування та інтерактивну перевірку теорем. Це дозволило отримати докази, які може перевірити машина, що унеможливлює помилки, які можуть виникнути при ручному записі. OpenAI також опублікувала покроковий опис процесу міркувань моделі для кожного результату. Компанія наголошує, що відповідальність за остаточні наукові публікації лежить на дослідниках, проте самі математичні ідеї та логіка доведень були запропоновані Astra.
Раніше OpenAI вже анонсувала розробку нового сімейства моделей, призначеного для виконання тривалих та комплексних завдань. Нещодавно генеральний директор компанії Сем Альтман представив Astra представникам уряду та регуляторним органам США, підкресливши її здатність координувати роботу численних ШІ-агентів для вирішення наукових та інженерних завдань.
За даними джерел, Astra стане новим сімейством моделей поруч із Sol, Terra та Luna. Наразі невідомо, під якою комерційною назвою модель з’явиться на ринку. OpenAI також пообіцяла пізніше опублікувати детальний технічний звіт про те, як саме Astra вдалося розв’язати раніше відкриті математичні задачі.
Згідно з інформацією, нові моделі OpenAI вже проходять внутрішнє тестування і стануть першими системами компанії, які будуть перевірятися в рамках розроблюваної в США процедури оцінки передових ШІ-моделей. Одним із головних викликів для розробників залишається забезпечення стабільної роботи моделей під час виконання тривалих ланцюжків міркувань – це вважається одним із основних обмежень сучасних агентних ШІ-систем.
Порада від Soft Portal:
Новина про Astra від OpenAI є надзвичайно важливою для розвитку як штучного інтелекту, так і фундаментальної науки. Цей застосунок демонструє потенціал ШІ у розв’язанні складних наукових проблем, що може прискорити прогрес у багатьох галузях. Для користувачів це означає наближення до ери, коли потужні ШІ-інструменти будуть доступні для вирішення ще ширшого кола завдань.