Mistral sponsors Open Math OS with zero data retention, powering a Kimi K3/DeepSeek math platform
GuillaumeLample · x · 2026-10-28
SAIR foundation announced that Mistral Large 4 inference and model access for its Open Math OS platform—a collaborative math research and scientific computing infrastructure—are sponsored by Mistral with zero data retention; teams can now apply.
The platform offers open frontier models (Kimi K3, DeepSeek V4.1 Flash, GLM 5.3 and more, with reasoning effort up to an "Ultramath" setting), a 24/7 cloud machine per project with 100+ math/science tools preinstalled, community-owned data sovereignty, and collaboration tooling. Ultramath runs parallel agents on one problem, sharing findings and returning proposed solutions, with Lean proofs and LaTeX write-ups produced in-chat for review.
More from Research
- Eric Topol highlights immunome paper combining multi-assay data with AI to model immune aging — EricTopol · 2026-10-28
- Google Research's 'sleep framework' lets LLMs keep learning, retaining up to 10M tokens — behrouz_ali · 2026-10-28
- CATCH: ~200 examples of adversarial training make LLMs robustly honest across benchmarks — irinarish · 2026-10-28
- Andrew Critch's dubious credences: P≠NP at 80%, Riemann hypothesis at just 60% — AndrewCritchPhD · 2026-10-28
- AI-driven Indian biotech PopVax, backed by $20M from Vitalik's Balvi fund, enters human trials with fridge-stable broad-spectrum Covid vaccine — chaitjo · 2026-10-28
- Cognition launches FrontierCode 2.0, a coding benchmark testing judgment beyond the spec — DevinAI · 2026-10-28