Mistral Large 4 går med i Open Math OS — och den öppna delen kommer med en väntelista

Den 3 november 2026 blev Mistral Large 4 den nyaste modellen på Open Math OS, SAIR Foundations delade arbetsyta där matematiker och AI-agenter arbetar på samma projekt. Tillkännagivandet var ett kort inlägg snarare än en lanseringssida: 1,05T öppna vikter, ett kontextfönster på 1M, live samma dag för godkända team. Det är den sista satsen som är värd att stanna upp vid. Open Math OS byggs endast på öppna modeller just för att matematikgemenskapen ska kunna granska och köra det de förlitar sig på, och det senaste tillskottet kommer fortfarande bakom en godkännandekö. Det gör också de tre modeller som redan finns med på listan — DeepSeek V4.1 Flash, Kimi K3 och GLM-5.3-Flash.

Vad Mistral faktiskt sa, och vad de utelämnade

Inlägget innehåller två tekniska påståenden och ett åtkomstvillkor. Påståendena – 1,05 biljoner totala parametrar och ett kontextfönster på en miljon token – stämmer överens med den checkpoint som Mistral publicerade den 29 oktober, så de är inte marknadsföringsmatematik. Åtkomstvillkoret är ”godkända team”, utan någon beskrivning av vad ett godkännande kräver, hur lång tid det tar eller om en enskild forskare kan få åtkomst utan ett team.

Det som inlägget inte innehåller är lika informativt. Det finns ingen matematikbenchmark. Det finns inget påstående om att Mistral Large 4 utvärderades på Lean-bevis, på formalisering eller på någon av de uppgifter som Open Math OS byggdes för. Det finns ingen kommentar om huruvida modellen får samma verktygsåtkomst som de etablerade aktörerna – skalet, PDF-verktygen, Lean-kontrollen, MCP-servrarna – eller en reducerad uppsättning. Och det finns ingen prissättning, vilket stämmer överens med en arbetsyta som körs på donerad beräkningskraft i stället för debiterade tokens.

Inget av det är kritik mot modellen. Det är en beskrivning av hur mycket som fortfarande är okänt om sammankopplingen, sex dagar efter att vikterna landade.

Open Math OS är en arbetsyta, inte en modell

Distinktionen spelar roll eftersom namnet låter som en sådan. Open Math OS är ett initiativ från SAIR Foundation som mjuklanserades den 16 oktober 2026, och Terence Tao – en av SAIR:s medgrundare – beskrev det som en hostad tjänst med "tjänster och webbgränssnitt liknande banbrytande AI-modeller" snarare än något man installerar. Dess runtime med öppen källkod, Open Math Harness, är skriven i Rust och strukturerad som en kapabilitetsbaserad mikrokärna: varje program, inklusive agenter, körs som en begränsad process, och den uttalade designprincipen är "agenter föreslår, matematiker beslutar".

Runt den kärnan finns de saker som gör den till en arbetsyta snarare än ett chattfönster. Teamkonton, där medlemmar kan se varandras prompter. Beständigt projektminne. Ett läge för parallell utforskning som kallas Ultramath och som kör flera agenter mot samma problem samtidigt. Lean-verifierad bevisökning. Stöd för MCP-servrar och för plugin-program som användarna bygger själva. SAIR delar ut gratis konton till akademiska sökande och kör hela verksamheten på donerad datorkraft, vilket är anledningen till att kontogränser och justeringar av resurstilldelning uttryckligen är på tal.

Listan den lanserades med bestod helt av kinesiska modeller med öppna vikter. Det är den luckan Mistral Large 4 fyller: det är den första modellen på Open Math OS från ett europeiskt labb, och den första med en berättelse om fransk suverän driftsättning bakom sig. För en stiftelse vars löfte är gemenskapens kontroll över data är ett icke-kinesiskt, icke-amerikanskt alternativ ett verkligt tillskott snarare än en kryssruta.

Licensfrågan som ingen i tråden ställde

Mistral Large 4 är inte Apache 2.0, och det är en förändring jämfört med dess föregångare. Dess vikter släpps under Mistral Ecosystem Open-Weight License, en modifierad MIT-licens som tillåter användning, ändring, finjustering och kommersialisering – med ett undantag. Den som erbjuder modellen som modell-som-tjänst måste erhålla en separat kommersiell licens från Mistral.

Open Math OS är en hostad tjänst som låter team anropa en modell via ett webbgränssnitt. Huruvida det arrangemanget är "model-as-a-service" i licensens mening, eller faller under undantaget för inbäddade slutanvändarprodukter, eller passar in i det snäva undantaget för att enbart vidarebefordra förfrågningar till modeller som hostas någon annanstans, är en juridisk fråga som SAIR inte har behandlat offentligt. Mistral har inte heller sagt något. Det är helt möjligt – till och med sannolikt – att det ligger ett kommersiellt avtal bakom tillkännagivandet som ingen av parterna har beskrivit. Men en läsare som såg "öppna vikter" och antog att hostingfrågan var avgjord bör veta att den inte är det, eftersom samma klausul kommer att gälla för varje labb som vill bygga en delad arbetsyta på den här modellen.

Varför ett 1M-fönster är mer än en rad i ett datablad här

Kontextfönster säljs vanligtvis utifrån dokumentvolym, och en miljon tokens låter som ett arkivskåp. På en arbetsyta för formell matematik är den användbara varianten en annan. Ett projekt samlar på sig en Lean-fil, dess importer, ett bevisläge, diskussionen kring en misslyckad taktik och agentens egen sessionshistorik. Allt detta måste finnas i samma ram för att en agent ska kunna göra något annat än att gissa. Trådar som överlever i flera dagar är själva poängen med en delad arbetsyta; ett fönster som trunkerar dem gör varje session till en kallstart.

Det är ett argument för varför Mistral Large 4 passar designen, inte bevis för att den presterar. De två är lätta att förväxla under en lanseringsvecka, och Mistrals inlägg hjälper inte — det listar fönstret som en rubriksiffra bredvid parameterantalet, vilket är databladsspråk, inte en utvärdering.

Vad ett godkänt team får, och vad som fortfarande är osagt

• Utvärdering — inga publicerade matematikresultat för Mistral Large 4 på Open Math OS; listans lanseringsmodeller beskrevs av Tao som ungefär ett år efter forskningsfronten och bra på medelstora Lean-formaliseringar, vilket är ett påstående om förmåga, inte en poäng.

• Verktygsparitet – det framgår inte om den nya modellen får Ultramath, bevissökning och den fullständiga vetenskapliga verktygskedjan, eller en begränsad delmängd medan den utvärderas.

• Gränser – inga publicerade hastighetsbegränsningar, kvoter eller kontexttak i arbetsytan, där ett fönster på 1M kan trimmas av plattformen oavsett vad modellen stöder.

• Datapolicy – Tao skrev i oktober att SAIR ville "först samla in viss användningsdata innan vi färdigställer våra policyer." Det är ett ärligt uttalande, och även en anledning att läsa de gällande villkoren innan man lägger ett opublicerat bevis i ett projekt.

• Urval — ingen förklaring av hur ett team väljer en modell per projekt, om valet är per chatt eller per projekt, eller om SAIR dirigerar mellan dem automatiskt.

Mönstret är konsekvent: tillkännagivandet beskriver en modell som läggs till i ett sortiment, inte en förmåga som demonstreras. Om du överväger att ansöka är det den ärliga bilden av bevisläget.

Om det du vill ha är modellerna snarare än arbetsytan

Open Math OS är den intressanta delen av den här historien, men det är inte det enda sättet att nå modellerna som den kör. GLM-5.3-Flash finns i OrcaRouter-katalogen till leverantörens listpris, och detsamma gäller Kimi K3 — två av de tre modeller som arbetsytan lanserades med, anropbara från ett och samma API tillsammans med fler än 200 andra, med automatisk failover mellan leverantörer och 0 % påslag på leverantörens egen taxa. Routing-DSL:en kan komponera dem till ett enda anrop om du vill ha en panel i stället för ett enda svar, vilket är en grov approximation av vad Ultramath gör inne i arbetsytan utan Lean-kontrollen kopplad.

Mistral Large 4 finns inte i vår katalog, och vi tänker inte låtsas något annat. Om du specifikt vill ha den modellen går vägarna i dag via Mistrals eget API, de öppna vikt-checkpointarna på Hugging Face eller leverantörens tredjepartspartner för hosting. Avvägningen är verklig: arbetsytan ger dig det delade projektet, verktygen och kontrollen av bevisen; API:et ger dig enbart modellen, till ett pris du kan mäta.

Vad du ska titta på härnäst

Tre saker skulle förvandla detta från en uppdatering av listan till ett resultat. En utvärdering per modell i Open Math OS – även en liten, en uppsättning Lean-formaliseringar som poängsätts på samma sätt för alla fyra modellerna – skulle vara det första offentliga beviset på vilken modell en matematiker bör välja för vilken uppgift. En publicerad åtkomstpolicy skulle lösa spänningen mellan "öppen" och "godkänd". Och ett uttalande från SAIR eller Mistral om hur värdarrangemanget förhåller sig till klausulen om modell-som-tjänst skulle berätta för alla andra labb huruvida de kan bygga samma sak.

Fram till dess är den korrekta sammanfattningen snäv: en modell med öppna vikter och en biljon parametrar med ett fönster på 1M är nu ett av alternativen i en forskningsarbetsyta som fortfarande, enligt grundarens egen beskrivning, är en mycket tidig version.