astra закрила десять відкритих математичних задач

https://openai.com/index/ten-advances-in-mathematics/

openai опублікувала десять розв’язків математичних задач, де найкращий відомий результат не змінювався щонайменше десять років. Усі їх знайшла внутрішня версія astra — наступної великої моделі, а токени на пошук коштували близько $2000 за тарифами sol api. Кожне доведення записали на lean і виклали в репозиторій openai/ten-proofs; поруч лежать стаття і розшифровки міркувань моделі.

$2000 за десять результатів рівня «десятиліття без прогресу» — цифра, яку цитуватимуть найчастіше. Але вона враховує лише токени на пошук розв’язку за тарифами api: до неї не входять ні навчання моделі, ні робота людей над рукописами, ні невдалі спроби на інших задачах. Справжні витрати можуть бути в рази, а то й на порядок більші.

І якщо ви чомусь досі не мільйонер — ось готові ідеї для бізнесу на основі цих задач, за версією Opus 5 ultracode:

• Експертиза в патентних і арбітражних спорах про кодування та стиснення.
• Стиснення моделі та ядра запуску під залізо замовника.
• Перевірка технічних заяв перед угодою.
• Голосовий кодек для вузьких каналів.
• Песимістичні оцінки розміру з’єднань для планувальників запитів.
• Кодек і симулятор каналу для ДНК-сховища.
• Формування сузір’я для супутникових і лазерних каналів.