Десять проблем, деякі відкриваються десятиліттями
1 серпня 2026 року OpenAI опублікував дослідницьку публікацію під назвою «Десять досягнень у математиці та теоретичній інформатиці», в якій детально описано рішення, створені системою Astra. За словами the-decoder, компанія використала це оголошення, щоб представити Astra як свою наступну основну модель. Startup Fortune повідомив, що десять проблем були раніше нерозв’язаними, і що одним із найпомітніших результатів було спростування гіпотези про жорсткість Конна — проблеми, яка має глибоке коріння в алгебрах операторів і теорії груп.
Деякі з цільових проблем стояли відкритими більше десяти років, і один випуск, 36Kr, охарактеризував кілька з них як «рівень медалі Філдса» за складністю. Масштаб претензій привернув увагу, оскільки математичні результати, на відміну від багатьох тестів штучного інтелекту, в принципі можуть бути ретельно перевірені. Повідомляється, що OpenAI зробив роботу доступною через формальний інструмент перевірки та публічне сховище, дозволяючи незалежним математикам ретельно вивчати докази, а не приймати їх на віру.
Рахунок за обчислення ~2000 доларів США
Однією з найяскравіших деталей є вартість. Startup Fortune і XenoSpectrum повідомили, що модель розв’язала десять відкритих проблем приблизно за 2000 доларів США на обчислення — невелика частка від того, що зазвичай коштують тренінги передового масштабу. Ця цифра, якщо вона точна, підкреслює, наскільки далеко зайшла ефективність логічного висновку: дорогою частиною сучасного штучного інтелекту все більше стає навчання, а не вирішення кожної проблеми.
Результат ґрунтується на роботі OpenAI, оприлюдненій раніше в 2026 році, коли внутрішня модель міркування спростувала гіпотезу одиничної відстані — проблему, поставлену математиком Полом Ердошем у 1946 році. Цей попередній результат торкнувся алгебраїчної теорії чисел, включаючи польові вежі нескінченного класу та теорію Голода–Шафаревича. Оголошення про Astra розширює цю лінію дослідження на ширший набір відкритих питань.
Показано сенаторам у Вашингтоні
Час розкриття було обдумано. У Інформації ексклюзивно повідомлено, що OpenAI попередньо провів модель Astra у Вашингтоні, округ Колумбія, а Yellow.com зазначив, що демонстрація відбулася «за кілька днів до того, як з’явиться 30-денна структура огляду» — посилання на зростаючий регулятивний нагляд за новими потужними системами ШІ. Як повідомляє Startup Fortune, генеральний директор Сем Альтман особисто проінформував сенаторів США про модель.
Попередній перегляд у Вашингтоні має значення, оскільки він позиціонує Astra не лише як технічну віху, а й як політичну віху. Оскільки законодавці обговорюють, як регулювати прикордонні моделі після нещодавніх інцидентів кібербезпеки — включно з агентами штучного інтелекту, які втекли з пісочниці під час тестування — OpenAI доводить, що його найсучасніші системи можуть бути одночасно потужними та безпечними, щоб поділитися ними з регуляторними органами до публічного випуску.
Це GPT-6?
OpenAI офіційно не підтвердила, що Astra буде запущена як GPT-6, але Startup Fortune повідомила, що компанія «роздумує над тим, щоб відправити її як GPT-6». The News International описав Astra як запуск «нової модельної серії», тоді як KuCoin охарактеризував її як модель «для довгострокових завдань», що передбачає наголос на стійкому, агентурному міркуванні, а не на швидких одноразових відповідях.
Ця структура узгоджується з орієнтацією всієї галузі на так званих довгострокових агентів: системи, призначені для роботи над складними проблемами протягом тривалого часу, використовуючи інструменти та перевірку, а не відповідаючи за один прохід. Математичні результати фактично є демонстрацією того, що цей підхід може дати справді нові знання.
Що це означає для досліджень ШІ
Результати Astra припадають на тлі гострих дебатів щодо того, чи міркування штучного інтелекту справді обґрунтовані чи просто переконливі. Якщо докази витримають формальну перевірку та рецензування, вони стануть значущим кроком за межі зіставлення шаблонів, припускаючи, що ці системи можуть сприяти математиці як дослідницькій дисципліні, а не просто імітувати її.
Скептики попереджають, що робота все ще потребує незалежної перевірки, і що «вирішення» проблеми у формальному сенсі відрізняється від того, як людина-математик розуміє, чому результат істинний. Але поєднання низьких витрат на обчислення, формальної перевірки та публічного випуску дає ширшій спільноті інструменти для перевірки претензій OpenAI.
Наразі Astra залишається неоприлюдненою для публіки. Зрозуміло лише те, що OpenAI розглядає математику як новий полігон для передового ШІ — і запрошує регуляторів, а також дослідників уважно стежити за цим.
Будьте попереду ШІ
Кордон досліджень штучного інтелекту швидко просувається, щотижня відбуваються нові відкриття. Слідкуйте за кожним великим прогресом у нашому висвітленні індустрії ШІ.
Читати більше новин AI →
