OLMoE

AstaBrief

Allen Institute for AI

AstaBrief is Ai2’s 8B scientific report-generation model, trained from Qwen3-8B with citation-focused supervised fine-tuning and direct preference optimization. It turns a research question and retrieved literature excerpts into a complete cited report in a single pass, and powers Asta’s Fast report mode. Ai2 releases the weights, training data, and a workflow for using local PDFs. The reported latency advantage evaluates the complete report pipeline rather than the checkpoint alone. Citation grounding is improved but does not guarantee that a synthesis preserves every study’s scope or conclusions.

MAI-Thinking-1

Microsoft

MAI-Thinking-1 is Microsoft AI’s medium-inference-footprint reasoning model, first announced at Build in June and made available in public preview on Microsoft Foundry on August 12, 2026. It uses a sparse mixture-of-experts architecture and was trained in-house without third-party model distillation. The model targets mathematical reasoning, software engineering, and complex enterprise questions. Clean-data and benchmark statements are provider claims rather than guarantees of domain correctness. June announcement-only exposure is not used as its public release date.

Leanstral 1.5

Mistral AI

Leanstral 1.5 is Mistral’s open-weight specialist model for Lean 4 formal mathematics and program verification. The 1.5 update improves proof engineering through mid-training, supervised tuning, and reinforcement learning in theorem-proving and code-agent environments. Its first API release is dated June 30 in the changelog, before the July 2 announcement. It edits proof files, runs tools, and revises proofs after compiler feedback within an agent scaffold. Apache-2.0 weights permit local deployment and adaptation. Published success rates involve explicit inference budgets and multiple attempts; a long agent run is not the same as a single context window.