Mistral Large 4 เข้าร่วม Open Math OS — และส่วนที่เปิดให้ใช้นั้นมาพร้อมกับรายชื่อรอ
- Orcaใหม่OrcaCyber: GLM 5.3 Abliterated / Uncensored2026-11-04$3.00 / $5.00 ต่อ 1 ล้านโทเค็น · 79 tok/s
- Orcaใหม่OrcaCyber: Hy4 Abliterated / Uncensored2026-11-04$0.80 / $1.60 ต่อ 1 ล้านโทเค็น · 106 tok/s
- Orcaใหม่OrcaCyber: Kimi K3.1 Pro Abliterated / Uncensored2026-11-04$4.00 / $20.00 ต่อ 1 ล้านโทเค็น · 26 tok/s
- orcaใหม่Orca: OrcaC2 1.02026-10-303 tok/s
- Orcaใหม่OrcaCyber: MiniMax M3.1 Flash Abliterated / Uncensored2026-10-29$0.80 / $1.60 ต่อ 1 ล้านโทเค็น · 100 tok/s
- Orcaใหม่OrcaCyber: GLM 5.3 Flash Abliterated / Uncensored2026-10-27$0.80 / $1.60 ต่อ 1 ล้านโทเค็น · 106 tok/s
- Orcaใหม่OrcaCyber: Qwen3.8 Flash Next Abliterated / Uncensored2026-10-26$0.80 / $1.60 ต่อ 1 ล้านโทเค็น · 106 tok/s
- Orcaใหม่OrcaCyber: MiMo V2.6 Flash Abliterated / Uncensored2026-10-26$0.80 / $1.60 ต่อ 1 ล้านโทเค็น · 52 tok/s
- Moonshotใหม่MoonshotAI: Kimi K3.1 Pro2026-10-2447ความฉลาด
- Orcaใหม่OrcaCyber: DeepSeek V4.1 Flash Abliterated / Uncensored2026-10-23$0.80 / $1.60 ต่อ 1 ล้านโทเค็น · 81 tok/s
- minimaxMiniMax: M3.1 Flash2026-10-1929ความฉลาด
- OrcaOrca: OrcaCyber Ultra 1.02026-10-17$5.00 / $10.00 ต่อ 1 ล้านโทเค็น · 108 tok/s
- deepseekDeepSeek: DeepSeek V4.1 Flash 10172026-10-1733ความฉลาด
- DeepSeekDeepSeek: DeepSeek V4.1 Flash2026-10-1740ความฉลาด
- OrcaOrca: OrcaCyber Zero 1.52026-10-10$3.00 / $7.50 ต่อ 1 ล้านโทเค็น · 55 tok/s
- openaiOpenAI: GPT-6.1 Sol2026-09-2955ความฉลาด
- anthropicAnthropic: Claude Sonnet 5.52026-09-2855ความฉลาด
- typesafeTypeSafe: Jev 1.132026-09-24$0.04 / $0.00 ต่อ 1 ล้านโทเค็น · 160 tok/s
- OpenAIOpenAI: GPT-6 Luna2026-09-2228ความฉลาด
- OpenAIOpenAI: GPT-6 Sol2026-09-2244ความฉลาด
เมื่อวันที่ 3 พฤศจิกายน 2026 Mistral Large 4 กลายเป็นโมเดลใหม่ล่าสุดบน Open Math OS ซึ่งเป็นพื้นที่ทำงานร่วมของ SAIR Foundation ที่นักคณิตศาสตร์และเอเจนต์ AI ทำงานในโปรเจกต์เดียวกัน การประกาศครั้งนี้เป็นโพสต์สั้น ๆ ไม่ใช่หน้าเปิดตัว: open weights 1.05T, หน้าต่างบริบท 1M และใช้งานได้ในวันนั้นสำหรับทีมที่ได้รับอนุมัติ อนุประโยคสุดท้ายนี่แหละคือสิ่งที่ควรค่าแก่การหยุดคิด Open Math OS ถูกสร้างขึ้นบนโมเดลเปิดเท่านั้น ก็เพื่อให้ชุมชนคณิตศาสตร์สามารถตรวจสอบและรันสิ่งที่ระบบพึ่งพาอยู่ได้ และโมเดลที่เพิ่มเข้ามาล่าสุดก็ยังคงอยู่หลังคิวการอนุมัติ สามโมเดลที่อยู่ในรายชื่อแล้วก็เช่นกัน — DeepSeek V4.1 Flash, Kimi K3 และ GLM-5.3-Flash
สิ่งที่ Mistral พูดจริง ๆ และสิ่งที่มันละเว้นไว้
โพสต์นี้มีข้อกล่าวอ้างทางเทคนิคสองข้อและเงื่อนไขการเข้าถึงหนึ่งข้อ ข้อกล่าวอ้าง — พารามิเตอร์รวม 1.05 ล้านล้านตัว และหน้าต่างบริบทขนาดหนึ่งล้านโทเคน — ตรงกับ checkpoint ที่ Mistral เผยแพร่เมื่อวันที่ 29 ตุลาคม ดังนั้นจึงไม่ใช่การคำนวณทางการตลาด เงื่อนไขการเข้าถึงคือ “approved teams” โดยไม่มีคำอธิบายว่าการอนุมัติต้องใช้อะไร ใช้เวลานานเท่าใด หรือนักวิจัยรายบุคคลจะเข้าได้หรือไม่หากไม่มีทีม
สิ่งที่โพสต์ไม่มีก็ให้ข้อมูลไม่แพ้กัน ไม่มีเกณฑ์วัดผลด้านคณิตศาสตร์ ไม่มีข้อความระบุว่า Mistral Large 4 ถูกประเมินบน Lean proofs ในการทำ formalisation หรือในงานใด ๆ ที่ Open Math OS ถูกสร้างมาเพื่อรองรับ ไม่มีบันทึกว่าโมเดลได้รับสิทธิ์เข้าถึงเครื่องมือชุดเดียวกับผู้เล่นรายเดิมหรือไม่ — shell, เครื่องมือ PDF, Lean checker, MCP servers — หรือได้ชุดที่ลดลง และไม่มีราคา ซึ่งสอดคล้องกับเวิร์กสเปซที่รันบนคอมพิวต์ที่บริจาคมาแทนโทเคนที่คิดตามปริมาณการใช้
ไม่มีส่วนใดในนั้นเป็นการวิจารณ์โมเดล แต่เป็นคำอธิบายว่ายังมีสิ่งที่ไม่รู้เกี่ยวกับการจับคู่ดังกล่าวอีกมากเพียงใด หกวันหลังจากที่น้ำหนักโมเดลถูกปล่อยออกมา
Open Math OS เป็นพื้นที่ทำงาน ไม่ใช่โมเดล
ความแตกต่างนี้สำคัญ เพราะชื่อฟังดูเหมือนเป็นระบบปฏิบัติการ Open Math OS เป็นโครงการริเริ่มของ SAIR Foundation ที่เปิดตัวแบบซอฟต์ลอนช์เมื่อวันที่ 16 ตุลาคม 2026 และ Terence Tao — ผู้ร่วมก่อตั้ง SAIR — อธิบายว่ามันเป็นบริการแบบโฮสต์ที่มี "บริการและอินเทอร์เฟซเว็บคล้ายกับโมเดล AI ชั้นแนวหน้า" มากกว่าสิ่งใดก็ตามที่คุณต้องติดตั้ง รันไทม์โอเพนซอร์สของมันคือ 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 เป็นบริการแบบโฮสต์ที่ให้ทีมต่างๆ เรียกใช้โมเดลผ่านอินเทอร์เฟซเว็บ การที่รูปแบบดังกล่าวจะเป็น "model-as-a-service" ในความหมายของสัญญาอนุญาต หรือเข้าข่ายข้อยกเว้นสำหรับผลิตภัณฑ์สำหรับผู้ใช้ปลายทางแบบฝังตัว หรือตรงกับข้อยกเว้นแคบๆ สำหรับการเพียงส่งต่อคำขอไปยังโมเดลที่โฮสต์อยู่ที่อื่นนั้น เป็นคำถามทางกฎหมายที่ SAIR ยังไม่ได้ชี้แจงต่อสาธารณะ Mistral ก็ไม่ได้กล่าวถึงเช่นกัน เป็นไปได้อย่างยิ่ง — หรืออาจถึงขั้นน่าจะเป็นเช่นนั้น — ว่ามีข้อตกลงทางการค้าอยู่เบื้องหลังประกาศที่ทั้งสองฝ่ายไม่ได้อธิบายไว้ แต่ผู้อ่านที่เห็น "open weights" แล้วคิดว่าคำถามเรื่องการโฮสต์ได้ข้อสรุปแล้ว ควรทราบว่ายังไม่ใช่เช่นนั้น เพราะข้อกำหนดเดียวกันนี้จะใช้บังคับกับทุกแล็บที่ต้องการสร้างพื้นที่ทำงานร่วมกันบนโมเดลนี้
ทำไมหน้าต่าง 1M จึงเป็นมากกว่าบรรทัดหนึ่งในสเปกชีตในบริบทนี้
โดยปกติแล้ว Context window ถูกขายตามปริมาณเอกสาร และหนึ่งล้านโทเคนก็ฟังดูเหมือนตู้เอกสาร ในพื้นที่ทำงานคณิตศาสตร์เชิงรูปนัย เวอร์ชันที่มีประโยชน์นั้นแตกต่างออกไป โปรเจกต์หนึ่งสะสมไฟล์ Lean, imports ของไฟล์นั้น, สถานะการพิสูจน์, การอภิปรายรอบ tactic ที่ล้มเหลว และประวัติเซสชันของ agent เอง ทั้งหมดนั้นต้องอยู่ในเฟรมเดียวกันเพื่อให้ agent ทำอะไรได้นอกเหนือจากการเดา เธรดที่คงอยู่ข้ามหลายวันคือจุดสำคัญของพื้นที่ทำงานร่วมกัน ส่วนหน้าต่างที่ตัดทอนเธรดเหล่านั้นจะทำให้ทุกเซสชันกลายเป็นการเริ่มต้นจากศูนย์
นั่นเป็นข้อโต้แย้งว่าเหตุใด Mistral Large 4 จึงเข้ากับการออกแบบ ไม่ใช่หลักฐานว่ามันทำงานได้จริง สองสิ่งนี้สับสนกันได้ง่ายในสัปดาห์แห่งการเปิดตัว และโพสต์ของ Mistral ก็ไม่ได้ช่วยอะไรเลย เพราะมันยกหน้าต่างเป็นตัวเลขพาดหัววางไว้ข้างจำนวนพารามิเตอร์ ซึ่งเป็นไวยากรณ์แบบสเปกชีต ไม่ใช่การประเมิน
สิ่งที่ทีมที่ได้รับอนุมัติจะได้รับ และสิ่งที่ยังไม่ได้ระบุไว้
• {{1}}การประเมิน{{/1}} — ไม่มีผลลัพธ์ทางคณิตศาสตร์ที่เผยแพร่สำหรับ Mistral Large 4 บน Open Math OS; โมเดลที่เปิดตัวในรายชื่อนี้ได้รับการอธิบายโดย Tao ว่าล้าหลังแนวหน้าประมาณหนึ่งปี และเก่งในการทำให้เป็นทางการด้วย Lean ขนาดกลาง ซึ่งเป็นการกล่าวอ้างถึงความสามารถ ไม่ใช่คะแนน
• ความเท่าเทียมด้านเครื่องมือ — ไม่ได้ระบุว่าโมเดลใหม่จะได้รับ Ultramath การค้นหาบทพิสูจน์ และชุดเครื่องมือทางวิทยาศาสตร์แบบเต็ม หรือเป็นชุดย่อยที่จำกัดในระหว่างการประเมิน
• ขีดจำกัด — ไม่มีขีดจำกัดอัตราการใช้งาน โควตา หรือเพดานบริบทที่ประกาศไว้ภายในเวิร์กสเปซ โดยหน้าต่าง 1M อาจถูกแพลตฟอร์มตัดทอนได้โดยไม่คำนึงถึงสิ่งที่โมเดลรองรับ
• นโยบายข้อมูล — เต๋าเขียนไว้ในเดือนตุลาคมว่า SAIR ต้องการ “เก็บข้อมูลการใช้งานจำนวนหนึ่งก่อน เพื่อสรุปนโยบายของเราให้เสร็จสิ้น” นั่นเป็นคำกล่าวที่ตรงไปตรงมา และยังเป็นเหตุผลให้อ่านข้อกำหนดปัจจุบันก่อนนำบทพิสูจน์ที่ยังไม่ได้เผยแพร่ไปใส่ในโครงการ
• การเลือก — ไม่มีคำอธิบายว่าทีมเลือกโมเดลสำหรับแต่ละโปรเจกต์อย่างไร ตัวเลือกนั้นเป็นแบบรายแชตหรือรายโปรเจกต์ หรือ SAIR จะเปลี่ยนเส้นทางระหว่างกันโดยอัตโนมัติหรือไม่
รูปแบบนี้สอดคล้องกัน: ประกาศดังกล่าวอธิบายถึงโมเดลที่ถูกเพิ่มเข้าในไลน์ผลิตภัณฑ์ ไม่ใช่ความสามารถที่ได้รับการสาธิตให้เห็น หากคุณกำลังตัดสินใจว่าจะสมัครหรือไม่ นี่คือสภาพของหลักฐานตามความเป็นจริง
หากสิ่งที่คุณต้องการคือตัวโมเดล ไม่ใช่เวิร์กสเปซ
Open Math OS คือส่วนที่น่าสนใจของเรื่องนี้ แต่ไม่ใช่วิธีเดียวในการเข้าถึงโมเดลที่มันรันอยู่ GLM-5.3-Flash อยู่ในแคตตาล็อกของ OrcaRouter ในราคาตามรายการของผู้ให้บริการ, และ Kimi K3 ก็เช่นกัน — สองในสามโมเดลที่ workspace เปิดตัวมาด้วย ซึ่งเรียกใช้ได้จาก API เดียวพร้อมกับโมเดลอื่นอีกกว่า 200 รายการ พร้อมการ failover อัตโนมัติระหว่างผู้ให้บริการและการบวกเพิ่ม 0% เหนืออัตราของผู้ให้บริการเอง DSL สำหรับกำหนดเส้นทางจะประกอบพวกมันเป็นคำขอเดียวหากคุณต้องการชุดคำตอบจากหลายโมเดลแทนคำตอบเดียว ซึ่งเป็นการประมาณแบบคร่าว ๆ ของสิ่งที่ Ultramath ทำภายใน workspace โดยไม่มี Lean checker แนบมาด้วย
Mistral Large 4 ไม่ได้อยู่ในแคตตาล็อกของเรา และเราจะไม่แกล้งทำเป็นว่ามี หากคุณต้องการโมเดลนั้นโดยเฉพาะ เส้นทางในตอนนี้คือ API ของ Mistral เอง, checkpoint แบบ open-weight บน Hugging Face หรือพาร์ตเนอร์ผู้ให้บริการโฮสติ้งบุคคลที่สามของผู้จำหน่าย ข้อแลกเปลี่ยนนั้นมีจริง: เวิร์กสเปซมอบโปรเจกต์ที่แชร์ให้คุณ เครื่องมือ และการตรวจสอบหลักฐาน; ส่วน API ให้เพียงโมเดลเดียว ในราคาที่คุณวัดได้
สิ่งที่ควรดูต่อไป
สามสิ่งจะเปลี่ยนสิ่งนี้จากการอัปเดตรายชื่อให้กลายเป็นผลลัพธ์ได้ การประเมินรายโมเดลภายใน Open Math OS — แม้จะเป็นเพียงชุดเล็ก ๆ คือชุดการทำให้เป็นทางการใน Lean ที่ให้คะแนนด้วยวิธีเดียวกันสำหรับทั้งสี่โมเดล — จะเป็นหลักฐานสาธารณะชิ้นแรกเกี่ยวกับว่านักคณิตศาสตร์ควรเลือกโมเดลใดสำหรับงานใด นโยบายการเข้าถึงที่เผยแพร่แล้วจะคลี่คลายความตึงเครียดระหว่าง “open” กับ “approved” และแถลงการณ์จาก SAIR หรือ Mistral เกี่ยวกับว่าข้อตกลงการโฮสต์นั้นสอดคล้องหรือขัดแย้งกับข้อกำหนด model-as-a-service อย่างไร จะบอกให้ทุกห้องปฏิบัติการอื่นรู้ว่าพวกเขาสามารถสร้างสิ่งเดียวกันได้หรือไม่
จนถึงตอนนั้น สรุปที่ถูกต้องก็ยังแคบอยู่: โมเดล open-weight ขนาดหนึ่งล้านล้านพารามิเตอร์ที่มีหน้าต่าง 1M ตอนนี้เป็นหนึ่งในตัวเลือกในพื้นที่ทำงานวิจัยที่ยังคงเป็นเวอร์ชันเริ่มต้นมาก ๆ ตามคำอธิบายของผู้ก่อตั้งเอง
การเปรียบเทียบในบทความนี้1
ตรวจพบจากบทความนี้ · เบนช์มาร์ก: Artificial Analysis · อัปเดตทุกวัน
