Curated signals from the fast-moving technology landscape.
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification for production cryptographic algorithms At a glance SymCrypt develops new verified cryptography using Rust, Aeneas, and Lean to provide higher security assurance. We prove that their code safely and corre
Research microsoft_research 2026-08-05T21:10:05.950115+00:00Read articleAt a glance Self-supervised. EvoLib enables large language models to learn from their own experience during inference, without requiring ground-truth labels or external feedback. From experience to knowledge. EvoLib transforms past attempts into reusable skills and reflective ins
Research microsoft_research 2026-08-05T20:10:20.879395+00:00Read articleScaling fidelity over sheer count, targeting the capabilities agents actually lack, and evolving with the models they train. At a glance We built twelve training worlds for computer-use agents: ten deep domain worlds and two capability worlds, each drilling a single control rende
Research microsoft_research 2026-08-05T19:10:23.956639+00:00Read articleAt a glance Orchard is an open-source framework for scalable and cost-effective agentic AI research, built around Orchard Env, a reusable environment service for training and evaluating agents across task domains. The same Orchard infrastructure supports software-engineering, web
Research microsoft_research 2026-08-05T18:10:16.717947+00:00Read articleSee how Univé built an AI-ready workforce with ChatGPT Enterprise by combining leadership, responsible governance, and employee-led innovation to transform work at scale.
AI openai_news 2026-08-05T17:09:36.012038+00:00Read articleOpenAI shares how its safety, security, transparency, and provenance practices support responsible AI governance in Europe. The work will continue as the EU AI Act advances.
AI openai_news 2026-08-05T16:09:12.986348+00:00Read article