astra закрыла десять открытых математических задач

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

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

$2000 за десять результатов уровня «десятилетие без прогресса» — цифра, которую будут цитировать чаще всего. Но она учитывает только токены на поиск решения по тарифам api: в неё не входят ни обучение модели, ни работа людей над рукописями, ни неудачные попытки на других задачах. Настоящие затраты могут быть в разы, а то и на порядок больше.

И если вы почему-то всё ещё не миллионер — вот готовые идеи для бизнеса на основе этих задач, по версии Opus 5 ultracode:

• Экспертиза в патентных и арбитражных спорах о кодировании и сжатии.
• Сжатие модели и ядра запуска под железо заказчика.
• Проверка технических заявлений перед сделкой.
• Голосовой кодек для узких каналов.
• Пессимистичные оценки размера соединений для планировщиков запросов.
• Кодек и симулятор канала для ДНК-хранилища.
• Формирование созвездия для спутниковых и лазерных каналов.