The day in AI
No written reading for this day yet. Here is everything that was logged.
Everything from this day
Launches and products
16 Mar 2026Mistral AILeanstral Leanstral, a 120B sparse model with 6B active, is Mistral's open agent for Lean 4 formal proofs, scoring 26.3 at pass@2 for $36.16 Mar 2026Mistral AIMistral Small 4 Mistral Small 4, a 119B MoE with 6B active parameters, merges reasoning, vision and agentic coding into one Apache 2.0 model.
Research
16 Mar 2026CMU / Princeton et al.Mamba-3 Inference-first SSM with a more expressive recurrence, complex-valued state and MIMO updates; +1.8 points over Gated DeltaNet at 1.5B.16 Mar 2026Moonshot AI (Kimi Team)Attention Residuals (AttnRes) Replaces fixed residual accumulation with softmax attention over earlier layers' outputs, fixing PreNorm dilution; Block AttnRes keeps memory manageable.