AI Lab

Microsoft News

Official Microsoft announcements — model releases, product launches and research, each one summarized with every source covering it, by AIBriefs. RSS

LaunchAI Models2 sources

Microsoft releases Mage-VL, a codec-native streaming multimodal model

The 4B model's visual encoder is trained entirely from scratch, using a codec-native, proactive-streaming design for image and video understanding. It targets the "Moravec's paradox" of VLMs — strong at offline reasoning, slow at streaming perception. Weights are available on Hugging Face.

LaunchAI Agents1 source

Microsoft launches Fara1.5-27B browser agent

Fara1.5-27B is a multimodal computer use agent from Microsoft Research AI Frontiers. It observes browser screenshots and emits structured tool calls (click, type, scroll, web search) to complete user tasks.

AnalysisCybersecurity1 source

Verifying Rust cryptography in SymCrypt, from standards to code

Microsoft Research verified production cryptographic algorithms in SymCrypt using Rust, Lean, Aeneas, and AI agents. The formal verification process ensures that the code matches cryptographic standards, providing higher security assurance.

LaunchScience1 source

Microsoft unveils Aurora 1.5 open weather foundation model

Aurora 1.5 adds 22 weather variables and hourly resolution for applications in energy, agriculture, and climate risk. The model is released as an open foundation model with probabilistic ensemble forecasting.