Mistral Large 4 присоединяется к Open Math OS — а открытая часть идёт с листом ожидания

3 ноября 2026 года Mistral Large 4 стала новейшей моделью на Open Math OS — общей рабочей площадке SAIR Foundation, где математики и ИИ-агенты работают над одними и теми же проектами. Объявление было коротким постом, а не страницей запуска: 1,05 трлн открытых весов, контекстное окно в 1 млн, доступна в тот же день для одобренных команд. Именно над последним пунктом стоит задержаться. Open Math OS построена исключительно на открытых моделях как раз для того, чтобы математическое сообщество могло проверять и запускать то, на что оно полагается, — и всё же новейшее пополнение появляется только после очереди на одобрение. Как и три модели, уже входящие в список: DeepSeek V4.1 Flash, Kimi K3 и GLM-5.3-Flash.

Что на самом деле сказала Mistral и о чём она умолчала

В посте содержатся два технических утверждения и один термин доступа. Утверждения — 1,05 триллиона общих параметров и контекстное окно на один миллион токенов — соответствуют чекпоинту, опубликованному Mistral 29 октября, так что это не маркетинговая арифметика. Термин доступа — «одобренные команды», без описания того, что требуется для одобрения, сколько это занимает или может ли отдельный исследователь получить доступ без команды.

То, чего в публикации нет, столь же информативно. В ней нет математического бенчмарка. Нет утверждения, что Mistral Large 4 оценивали на доказательствах на Lean, на формализации или на каких-либо из задач, для которых создавался Open Math OS. Нет и упоминания о том, получает ли модель тот же доступ к инструментам, что и действующие лидеры — оболочку, PDF-инструменты, проверяльщик Lean, серверы MCP — или сокращённый набор. И нет информации о ценах, что согласуется с рабочей средой, работающей на безвозмездно предоставленных вычислениях, а не на тарифицируемых по счётчику токенах.

Ничто из этого не является критикой модели. Это описание того, насколько многое всё ещё неизвестно об этом сочетании, спустя шесть дней после того, как веса были опубликованы.

Open Math OS — это рабочее пространство, а не модель.

Различие важно, потому что название читается именно так. Open Math OS — инициатива SAIR Foundation, мягко запущенная 16 октября 2026 года, и Terence Tao — соучредитель SAIR — описал её как размещённый сервис с «сервисами и веб-интерфейсами, похожими на передовые модели ИИ», а не как что-то, что вы устанавливаете. Её открытая среда выполнения, Open Math Harness, написана на Rust и организована как микроядро на основе возможностей: каждая программа, включая агентов, работает как изолированный процесс, а заявленный принцип дизайна — «агенты предлагают, математики решают».

Вокруг этого ядра расположено то, что превращает его в рабочее пространство, а не в окно чата. Командные аккаунты, где участники могут видеть промпты друг друга. Постоянная память проекта. Режим параллельного исследования под названием Ultramath, который одновременно запускает несколько агентов над одной и той же задачей. Поиск доказательств с проверкой в Lean. Поддержка серверов MCP и плагинов, которые пользователи создают сами. SAIR предоставляет бесплатные аккаунты академическим заявителям и запускает всё это на пожертвованных вычислительных ресурсах, поэтому ограничения на количество аккаунтов и корректировки распределения ресурсов явно обсуждаются.

Стартовый список моделей состоял исключительно из китайских моделей с открытыми весами. Именно эту нишу и закрывает Mistral Large 4: это первая модель в Open Math OS от европейской лаборатории и первая, за которой стоит французская история суверенного развёртывания. Для фонда, чья ключевая идея — общественный контроль над данными, наличие некитайского и неамериканского варианта — реальное приобретение, а не просто галочка для отчёта.

Вопрос о лицензии, который никто в ветке не задал

Mistral Large 4 не лицензируется по Apache 2.0, и это изменение по сравнению с предшественником. Её веса распространяются по лицензии Mistral Ecosystem Open-Weight License — модифицированной лицензии MIT, которая разрешает использование, модификацию, дообучение и коммерциализацию — с одним исключением. Любой, кто предлагает модель в качестве model-as-a-service, должен получить отдельную коммерческую лицензию от Mistral.

Open Math OS — это хостинговый сервис, позволяющий командам обращаться к модели через веб-интерфейс. Является ли такая схема «моделью как услугой» в смысле лицензии, подпадает ли она под исключение для встраиваемых продуктов для конечных пользователей или соответствует узкому изъятию для простой передачи запросов к моделям, размещённым в другом месте, — это юридический вопрос, который SAIR публично не освещал. Mistral тоже ничего не сообщила. Вполне возможно — и даже вероятно, — что за анонсом стоит коммерческое соглашение, о котором ни одна из сторон не рассказала. Но читатель, который увидел «открытые веса» и решил, что вопрос хостинга урегулирован, должен знать, что это не так, потому что та же оговорка будет применяться к каждой лаборатории, которая захочет создать общее рабочее пространство на этой модели.

Почему окно в 1M здесь — это больше, чем строка в спецификации

Контекстные окна обычно продают по объёму документов, и миллион токенов звучит как картотечный шкаф. В рабочем пространстве для формальной математики полезная версия выглядит иначе. В проекте накапливаются файл Lean, его импорты, состояние доказательства, обсуждение вокруг неудавшейся тактики и история сеансов самого агента. Всё это должно находиться в одном контексте, чтобы агент мог хоть что-то делать, а не только гадать. Потоки, сохраняющиеся на протяжении дней, — в этом и смысл общего рабочего пространства; окно, которое их обрезает, превращает каждый сеанс в холодный старт.

Это аргумент в пользу того, почему Mistral Large 4 вписывается в дизайн, а не доказательство того, что он демонстрирует производительность. Их легко перепутать в неделю запуска, и пост Mistral этому не помогает — он указывает окно как заголовочное число рядом с количеством параметров, а это язык спецификации, а не оценка.

Что получает утверждённая команда и что пока остаётся неозвученным

• Оценка — опубликованных результатов по математике для Mistral Large 4 на Open Math OS нет; Тао описал стартовые модели этого состава как отстающие от переднего края примерно на год и хорошо справляющиеся с формализацией в Lean среднего размера, что является заявлением о возможностях, а не баллом.

• Паритет инструментария — не уточняется, получит ли новая модель Ultramath, поиск доказательств и полный научный инструментарий или ограниченный набор, пока её оценивают.

• Ограничения — никаких опубликованных ограничений скорости, квот или ограничений контекста внутри рабочего пространства; при этом окно в 1M может быть урезано платформой независимо от того, что поддерживает модель.

• Политика в отношении данных — Тао писал в октябре, что SAIR хотел «сначала собрать некоторые данные об использовании, прежде чем окончательно оформить наши политики». Это честное заявление, а также причина прочитать текущие условия, прежде чем добавлять неопубликованное доказательство в проект.

• Выбор — не объясняется, как команда выбирает модель для каждого проекта, делается ли выбор для каждого чата или для каждого проекта и автоматически ли SAIR маршрутизирует между ними.

Схема последовательна: в анонсе описывается добавление модели в линейку, а не демонстрация возможности. Если вы решаете, подавать ли заявку, это честное состояние доказательств.

Если вам нужны модели, а не рабочее пространство

Open Math OS — интересная часть этой истории, но это не единственный способ добраться до моделей, которые он запускает. GLM-5.3-Flash есть в каталоге OrcaRouter по прейскурантной цене провайдера, и Kimi K3 тоже — две из трёх моделей, с которыми запускалось рабочее пространство; их можно вызывать через один API наряду с более чем 200 другими, с автоматическим переключением между провайдерами при сбое и 0% наценки к собственному тарифу провайдера. DSL маршрутизации объединит их в один вызов, если вам нужна панель, а не один ответ, что является грубым приближением того, что делает Ultramath внутри рабочего пространства без подключённого Lean checker.

Mistral Large 4 нет в нашем каталоге, и мы не собираемся делать вид, что это не так. Если вам нужна именно эта модель, сегодня есть такие пути: собственный API Mistral, открытые веса (чекпоинты) на Hugging Face или сторонние партнёры-хостинг-провайдеры вендора. Компромисс реальный: рабочее пространство даёт вам совместный проект, инструменты и проверку доказательств; API даёт вам только модель — по цене, которую можно измерить.

Что посмотреть дальше

Три вещи превратили бы это из обновления состава в результат. Оценка каждой модели внутри Open Math OS — пусть даже небольшая, набор формализаций на Lean, оценённых одинаковым образом для всех четырёх моделей, — стала бы первым публичным свидетельством о том, какую модель математику стоит выбирать для какой задачи. Опубликованная политика доступа разрешила бы противоречие между «открытым» и «одобренным». А заявление от SAIR или Mistral о том, как схема хостинга соотносится с оговоркой model-as-a-service, дало бы каждой другой лаборатории ответ, могут ли они построить то же самое.

До тех пор точная формулировка остаётся узкой: модель с открытыми весами на триллион параметров и окном в 1M теперь входит в число вариантов в исследовательском рабочем пространстве, которое, по собственному описанию его основателя, всё ещё представляет собой очень раннюю версию.