Congrats to
@dotsstudioai on open-sourcing dots3-note preview, a 280B-total / 16B-active multimodal model with 512K context, built for real-world long-horizon agentic tasks. Day-0 support is live in SGLang!
This is the model behind rednote's IMO 2026 gold. It scored 7/7 on all six problems for a perfect 42/42, a mark only 7 human contestants reached this year.
And it got there without a human formalization pass (Lean) and no proof assistant, just reasoning plus Python end to end.
It is among the first models to hit 42/42 under official grading, at roughly 1/10 the size of the others that did (Kimi K3, GPT5.6 Sol, Fable 5).
With SGLang, you could run dots3-note preview fast and excel at long and complicated agentic reasoning workflows.