Внутрішня модель OpenAI Astra розв’язала 10 великих відкритих задач з математики та теоретичної інформатики

TL;DR

• •Модель OpenAI Astra розв’язала 10 відкритих задач з математики та теоретичної інформації, включаючи нові нижні межі обчислення постійного.
• •Достигнення досягнуто за приблизно 1 година обчислювального часу на внутрішньому кластері з 1024 GPU H100.
• •Оцінка результату — 24 бали за шкалою оцінки задач, що перевершує попередній рекорд на 40 %.
• •Модель Astra має 2 трільйона параметрів і навчалася на корпусі з 15 ТБ математичних доказів та програмного коду.
• •Результати публікації доступні у препринті на arXiv і обговорюються на Hacker News.

Як це змінить ваш ринок?

Для kompanій, що займаються науковими дослідженнями та розробкою алгоритмів, це демонструє, що AI може стати повноцінним співробітником у довіденні теоремах та оптимізації складних обчислень. Фінансові та фармацевтичні фірми зможуть скоротити час на доказовості складних математичних моделей, що скоротить виведення нових продуктів на ринок на 20‑30 %. Освітні установи та навчальні платформи отримають можливість інтегрувати такий AI як віртуального репетитора для вищих математичних курсів, підвищуючи якість підготовки фахівців.

Визначення: OpenAI Astra — це внутрішня модель OpenAI, заснована на архітектурі трансформера з модифікованим механізмом уваги, спеціалізована на розв’язанні формальних математичних та інформаційних задач.

Для кого це і за яких умов

Для стартапів та SMB: доступно через API у вигляді платного доступу (очікувана ціна $0,08 за 1 000 токенів), не потребує власного GPU‑кластера, достатньо інтернет‑з’єднання та базового IT‑спеціаліста, впровадження за 1‑2 тижні. Для середніх компаній (50‑200 працівників): рекомендовано власний інференс‑сервер з 4× GPU H100, витрати ~$12 000 на обладнання, потребує команди з 2‑3 ML‑інженерів, запуск за 3‑4 тижні. Для великих企业 (понад 200 працівників): кластер з 16× GPU H100, бюджет ~$80 000, потребує відділу ML‑інженерії та даних, інтеграція в CI/CD за 1‑2 місяці.

Альтернативи