Tech Meridian
← ENTITY INDEX
TOPIC · ENTITY #2586
Related event timeline, sources and context from the news index.
An arXiv position paper (2609.19203v1) argues current AI stacks are fragmented and proposes a Foundation Model Operating System (FMOS) — a self‑evolving system layer that virtualizes FM interactions, orchestrates memory tiers, model selection, resource allocation, verification, and adaptive policy enforcement to give applications the illusion of dedicated, trustworthy FM instances.
Leanstral, an open-source code agent trained for Lean 4 proof engineering and shipped as Leanstral-120B-A6B, is released with Apache 2.0 weights, an agent mode for Mistral vibe, a free API endpoint, a forthcoming tech report, and a new evaluation suite called FLTEval. The model uses a highly sparse architecture (6B active parameters), supports MCPs via vibe (optimized for lean-lsp-mcp), and is benchmarked on realistic repository tasks where it shows cost and efficiency advantages versus several closed- and open-source competitors.
Allow Google Analytics to measure visits? It stays off until you choose. You can change your choice at any time.