Mistral Large 4, Open Math OS에 합류 — 그리고 '오픈' 부분에는 대기자 명단이 따른다

2026년 11월 3일, Mistral Large 4는 수학자와 AI 에이전트가 같은 프로젝트에서 작업하는 SAIR Foundation의 공유 작업 공간인 Open Math OS의 최신 모델이 되었다. 발표는 출시 페이지가 아니라 짧은 게시물이었다. 1.05T 오픈 가중치, 100만 토큰 컨텍스트 창, 승인된 팀을 대상으로 그날부터 사용 가능. 마지막 문구는 곱씹어 볼 만하다. Open Math OS가 오직 오픈 모델로만 구축된 것은 바로 수학계가 자신이 의존하는 것을 검사하고 실행할 수 있게 하기 위해서인데, 최신 추가 모델 역시 여전히 승인 대기열 뒤에서 등장한다. 이미 명단에 있는 세 모델 — DeepSeek V4.1 Flash, Kimi K3, GLM-5.3-Flash — 도 마찬가지다.

Mistral이 실제로 말한 것과 빠뜨린 것

게시물에는 두 가지 기술적 주장과 하나의 접근 조건이 담겨 있다. 총 1.05조 개 파라미터와 100만 토큰 컨텍스트 창이라는 주장은 Mistral이 10월 29일에 공개한 체크포인트와 일치하므로, 마케팅용 숫자 계산이 아니다. 접근 조건은 "승인된 팀"인데, 승인에 무엇이 필요한지, 얼마나 걸리는지, 개별 연구자가 팀 없이 들어갈 수 있는지에 대한 설명은 없다.

이 게시물에 없다는 점 또한 그만큼 많은 정보를 준다. 수학 벤치마크는 없다. Mistral Large 4가 Lean 증명, 형식화, 또는 Open Math OS가 만들어진 어떤 작업에서 평가되었다는 언급은 없다. 모델이 기존 모델들과 동일한 도구 접근 권한—셸, PDF 도구, Lean 검사기, MCP 서버—을 받는지, 아니면 축소된 집합을 받는지에 대한 설명도 없다. 그리고 가격 책정도 없는데, 이는 종량제 토큰이 아니라 기부된 컴퓨트로 운영되는 워크스페이스와 일치한다.

그중 어느 것도 모델에 대한 비판은 아니다. 그것은 가중치가 공개된 지 엿새 만에, 그 페어링에 관해 얼마나 많은 것이 아직 알려지지 않았는지를 설명한 것이다.

Open Math OS는 모델이 아니라 워크스페이스입니다.

이 구분이 중요한 이유는 이름만 보면 OS처럼 읽히기 때문이다. Open Math OS는 SAIR Foundation의 이니셔티브로, 2026년 10월 16일 소프트 론칭되었으며, SAIR 공동 창립자인 Terence Tao는 이를 설치하는 무엇이 아니라 "프런티어 AI 모델과 유사한 서비스와 웹 인터페이스"를 갖춘 호스팅 서비스라고 설명했다. 오픈소스 런타임인 Open Math Harness는 Rust로 작성되었고 capability 기반 마이크로커널로 구조화되어 있다. 에이전트를 포함한 모든 프로그램은 격리된 프로세스로 실행되며, 명시된 설계 원칙은 "에이전트는 제안하고, 수학자는 결정한다"이다.

그 커널 주변에는 이를 채팅 창이 아닌 워크스페이스로 만들어 주는 요소들이 자리 잡고 있습니다. 팀원들이 서로의 프롬프트를 볼 수 있는 팀 계정. 지속형 프로젝트 메모리. 동일한 문제에 여러 에이전트를 동시에 투입하는 Ultramath라는 병렬 탐색 모드. Lean으로 검증된 증명 검색. MCP 서버와 사용자가 직접 만든 플러그인 지원. SAIR은 학술 요청자에게 무료 계정을 제공하고 전체 시스템을 기증된 컴퓨팅 자원에서 운영하고 있으며, 그렇기 때문에 계정 상한과 할당 조정이 명시적으로 논의 대상에 올라 있습니다.

출시 당시의 라인업은 전부 중국산 오픈 웨이트 모델이었다. 바로 그 빈틈을 Mistral Large 4가 메운다. 이 모델은 유럽 연구소가 Open Math OS에 올린 첫 모델이며, 프랑스의 주권적 배포 사례를 배경으로 둔 첫 모델이기도 하다. 데이터에 대한 커뮤니티 통제를 내세우는 재단에게 중국도 미국도 아닌 선택지가 있다는 것은 형식적인 체크박스가 아니라 실질적인 추가다.

스레드에서 아무도 묻지 않은 라이선스 질문

Mistral Large 4는 Apache 2.0이 아니며, 이는 전작과 달라진 점입니다. 해당 모델의 가중치는 수정된 MIT 라이선스인 Mistral Ecosystem Open-Weight License에 따라 배포되며, 사용, 수정, 파인튜닝 및 상업화를 허용합니다 — 단, 한 가지 예외가 있습니다. 모델을 모델 서비스(model-as-a-service)로 제공하려는 사람은 Mistral로부터 별도의 상업 라이선스를 받아야 합니다.

Open Math OS는 팀이 웹 인터페이스를 통해 모델을 호출할 수 있게 해주는 호스팅 서비스다. 그러한 방식이 라이선스가 말하는 의미의 "model-as-a-service"에 해당하는지, 내장형 최종 사용자 제품에 대한 예외에 해당하는지, 아니면 단지 다른 곳에서 호스팅되는 모델로 요청을 중계하는 경우에 대한 좁은 예외 조항에 해당하는지는 SAIR이 공개적으로 다루지 않은 법적 문제다. Mistral도 아무 말도 하지 않았다. 발표 배후에 어느 당사자도 설명하지 않은 상업적 계약이 존재할 가능성은 충분히, 어쩌면 높기까지 하다. 그러나 "open weights"를 보고 호스팅 문제가 해결되었다고 가정한 독자는 그렇지 않다는 점을 알아야 한다. 동일한 조항이 이 모델을 기반으로 공유 워크스페이스를 구축하려는 모든 연구소에 적용될 것이기 때문이다.

여기서 1M 창이 스펙표의 한 줄 그 이상인 이유

컨텍스트 윈도는 보통 문서 분량을 기준으로 판매되며, 백만 토큰이라면 서류 캐비닛처럼 들립니다. 형식 수학 작업 공간에서 유용한 버전은 다릅니다. 한 프로젝트에는 Lean 파일, 그 가져오기(imports), 증명 상태, 실패한 tactic에 대한 논의, 그리고 에이전트 자체의 세션 기록이 쌓입니다. 에이전트가 추측이 아닌 실제 작업을 하려면 이 모든 것이 같은 프레임 안에 있어야 합니다. 며칠에 걸쳐 유지되는 스레드가 공유 작업 공간의 핵심이며, 이를 잘라내는 윈도는 모든 세션을 콜드 스타트로 만듭니다.

그것은 Mistral Large 4가 이 설계에 왜 맞는지를 설명하는 논거일 뿐, 실제로 성능을 발휘한다는 증거는 아닙니다. 출시 주간에는 이 둘을 혼동하기 쉽고, Mistral의 게시물은 도움이 되지 않습니다 — 파라미터 수 옆에 윈도를 대표 수치로 나열하는데, 이는 평가가 아니라 스펙시트 문법입니다.

승인된 팀이 받는 것, 그리고 아직 명시되지 않은 것

• 평가 — Open Math OS에서 Mistral Large 4에 대한 공개된 수학 결과는 없음; Tao는 명단의 출시 모델들이 최전선보다 대략 1년 뒤처졌고 중간 규모 Lean 형식화에 능숙하다고 설명했는데, 이는 역량 주장이지 점수가 아니다.

• 도구 지원 동등성 — 새 모델이 Ultramath, 증명 검색 및 전체 과학 도구 체인을 제공받는지, 아니면 평가 중에 제한된 하위 집합만 제공받는지는 명시되지 않았습니다.

• 한도 — 워크스페이스 내에는 공개된 속도 제한, 할당량 또는 컨텍스트 상한이 없으며, 여기서 1M 창은 모델이 지원하는 것과 관계없이 플랫폼에 의해 축소될 수 있습니다.

• 데이터 정책 — Tao는 10월에 SAIR이 "정책을 확정하기 전에 먼저 일부 사용 데이터를 수집하고 싶어 했다"고 썼습니다. 이는 솔직한 진술이며, 동시에 미공개 증명을 프로젝트에 넣기 전에 현재 약관을 읽어야 할 이유이기도 합니다.

• 선택 — 팀이 프로젝트별로 모델을 어떻게 선택하는지, 선택이 채팅별인지 프로젝트별인지, 또는 SAIR가 이들 사이를 자동으로 라우팅하는지에 대한 설명이 없습니다.

패턴은 일관됩니다. 그 발표는 어떤 역량이 입증되었다는 것이 아니라 한 모델이 라인업에 추가된다는 내용을 담고 있습니다. 지원할지 결정하는 중이라면, 그것이 증거의 솔직한 현주소입니다.

원하시는 것이 워크스페이스가 아니라 모델이라면

Open Math OS는 이 이야기에서 흥미로운 부분이지만, 그것이 실행하는 모델에 접근하는 유일한 방법은 아닙니다. GLM-5.3-Flash는 OrcaRouter 카탈로그에 공급자 정가로 포함되어 있으며, Kimi K3도 마찬가지입니다 — 워크스페이스가 출시 당시 함께 선보인 세 모델 중 두 가지로, 200개가 넘는 다른 모델과 함께 하나의 API에서 호출할 수 있으며, 공급자 간 자동 장애 조치와 공급자 자체 요율에 대한 0% 마크업이 적용됩니다. 라우팅 DSL은 단일 답변 대신 패널을 원할 경우 이들을 하나의 호출로 구성합니다. 이는 Lean 검사기가 연결되지 않은 상태에서 Ultramath가 워크스페이스 내부에서 수행하는 작업을 대략적으로 근사한 것입니다.

Mistral Large 4는 저희 카탈로그에 없으며, 그렇지 않은 척하지도 않겠습니다. 해당 모델이 꼭 필요하시다면 현재 경로는 Mistral 자체 API, Hugging Face의 오픈 웨이트 체크포인트, 또는 해당 벤더의 제3자 호스팅 파트너입니다. 트레이드오프는 분명합니다. 워크스페이스는 공유 프로젝트, 도구, 증명 검증을 제공하고, API는 측정 가능한 가격으로 모델만 제공합니다.

다음에 무엇을 볼까요?

세 가지가 더해지면 이것은 명단 업데이트에서 실제 결과로 바뀔 것입니다. Open Math OS 내부의 모델별 평가 — 작은 것이라도, 네 모델 모두에 동일한 방식으로 점수를 매긴 Lean 형식화 세트 — 는 수학자가 어떤 작업에 어떤 모델을 선택해야 하는지에 관한 첫 공개 증거가 될 것입니다. 공개된 접근 정책은 "open"과 "approved" 사이의 긴장을 해소할 것입니다. 그리고 SAIR나 Mistral의 성명이 호스팅 방식이 model-as-a-service 조항과 어떻게 맞는지를 밝힌다면, 다른 모든 연구소가 같은 것을 만들 수 있는지 알게 될 것입니다.

그때까지 정확한 요약은 좁은 범위에 머문다. 1M 창을 갖춘 1조 매개변수 오픈 가중치 모델은 이제, 창립자 스스로 설명하기를 여전히 아주 초기 버전인 연구 워크스페이스에서 선택할 수 있는 옵션 중 하나일 뿐이다.