microsoft.com

18 articles in the TruthFoundry index. Each links out to the original.

• Microsoft Research Unveils EvoLib: AI Framework for Evolving Knowledge · Microsoft Research introduces EvoLib, enabling AI models to learn and refine skills from experience without model updates.
• Microsoft's SymCrypt Advances Formal Verification of Cryptographic Algorithms with Rust and Lean · Microsoft's SymCrypt uses Rust, Lean, and Aeneas to formally verify cryptographic algorithms, ensuring security and correctness.
• Microsoft Releases Aurora 1.5: Open Weather Model with Hourly Forecasts and Ensembles · Microsoft releases Aurora 1.5, an open-source weather foundation model featuring hourly resolution, 22 new variables, and probabilistic ensemble forecasting.
• Microsoft Research Launches Flint, a Visualization Language for AI Agents · Microsoft introduces Flint, an intermediate language enabling AI agents to generate polished charts from simple specs.
• SkillOpt Optimizes AI Agent Skills via Trainable Parameter Editing · SkillOpt improves LLM agent reliability by treating skill files as trainable parameters optimized through a forward-backward-update loop.
• Microsoft Unveils Memora: AI Memory System Boosts Long-Term Agent Performance · Microsoft's Memora system decouples memory storage from retrieval to improve AI agent efficiency on long-horizon tasks.
• New AI Method Turns Black-Box Brain Models into Testable Scientific Hypotheses · Researchers developed Generative Causal Testing to convert opaque AI brain predictions into verifiable scientific theories.
• Talos AI Tool Delivers 5.1% New Rare Disease Diagnoses via Automated Genomic Reanalysis · Talos automated reanalysis of 4,735 undiagnosed patients yielded 241 new diagnoses with high precision.
• Microsoft's Project Ire Identifies New LOTUSLITE Malware Variant · Microsoft's Project Ire autonomously identifies a new LOTUSLITE malware variant through behavioral analysis without relying on traditional signatures.
• Microsoft Releases Open-Source Data Formulator 0.7 for Enterprise Analytics · Microsoft launches Data Formulator 0.7, an open-source AI system for enterprise data analytics and visualization.
• AI as an Extension of Human Cognition, Not a Replacement, According to New Research · New research argues AI systems extend human cognitive structures rather than replace them, emphasizing the need for human oversight in AI development.
• Microsoft Research Releases MagenticLite, MagenticBrain, and Fara1.5 Agentic Tools · Microsoft Research launches MagenticLite, powered by MagenticBrain and Fara1.5, to optimize agentic AI for small models.
• Vega Enables Fast Zero-Knowledge Proofs for Digital Identity Verification · Vega allows users to prove facts from credentials like age without revealing the credential itself using ZKPs.
• AI Delegation Research Reveals Fidelity Degradation in Long-Horizon Workflows · New research shows frontier AI models degrade document fidelity by 19-34% over 20 delegated iterations.
• Microsoft's mimalloc: High-Performance, Scalable Memory Allocator for Modern Systems · mimalloc is an open-source memory allocator used in Bing, CPython, Unreal Engine, and games like Death Stranding.
• Microsoft Releases MatterSim-MT and Accelerates AI Materials Simulation · Microsoft introduces MatterSim-MT and speeds up MatterSim-v1 for faster materials discovery.
• New Benchmark Exposes AI Agents' Failure to Negotiate for Users · SocialReasoning-Bench reveals frontier AI models consistently leave value on the table in social negotiations.
• Microsoft Research Releases Open U.S. Power Grid Dataset for AC-OPF Analysis · Microsoft releases a pipeline and dataset creating realistic, solvable U.S. transmission grid models from open data.