TechCapsules

Axiom Math, a $1.6 billion startup, announced on Wednesday that it has formally verified the Stacks Project, a 7,654‑page open‑source compendium of algebra, geometry and number theory. Using its own AI agents, the company translated the library into roughly 16 million lines of Lean code, preserving every logical connection across the massive hierarchy of theorems. The effort required a loosely structured, parallel workflow that let agents self‑assign tasks and develop a “taste” for mathematical rigor. CEO Carina Hong, a former [...]

Researchers from IBM Quantum, the Joint Center for Quantum Information and Computer Science (QuICS), and MIT introduced a neuro‑symbolic search framework that couples large language model agents with deterministic integer‑programming solvers to explore magic‑state distillation protocols. Their preprint, “Symmetry and AI‑assisted discovery of magic‑state factories,” reports 699 factory classes, 564 of which are previously unknown, achieving record‑low physical resource footprints for non‑Clifford state production. By proving that code distance ≥ 3 corresponds to selecting nonzero, pairwise‑distinct syndromes in a [...]

In January, a nine‑engineer Microsoft team launched Copilot Cowork, an AI‑driven execution layer that automates multi‑step workflows for knowledge workers using Work IQ, Microsoft 365 security, and a multi‑model architecture. Within four and a half months the project progressed from an empty repository to general availability, and on October 21 the team merged 1,211 pull requests in a single day. Most code was generated by AI agents, while engineers defined specifications, set architectural and security boundaries, and reviewed high‑risk changes. The [...]

OpenAI unveiled “dots,” an always‑on AI personal assistant, at its September developer day, positioning it as the next evolution of its Codex coding tool. Alexander Embiricos, head of the enterprise product team, explained that dots reframes the underlying large‑language model as a single, continuous conversation rather than discrete prompts, aiming for intuitive, proactive assistance. In testing, the assistant flagged calendar conflicts and even detected a drone‑delivery outage before the user noticed, though timing remains imperfect. Unlike Meta’s [...]

Microsoft is developing AI agents that rewrite millions of lines of code in its largest codebases, such as Windows and Azure. The agents handle tasks ranging from moving a 400‑million‑line repository to a new compiler toolchain to converting legacy C/C++ modules into Rust, increasingly backed by formal verification. Since 2024 the company has paired the agents with static analysis, testing and formal methods to ensure that massive, automated changes preserve behavior, security and architectural intent. By mid‑2025 [...]

OpenAI announced it will train frontier models without live internet access while resuming reinforcement‑learning (RL) training and internal inference. The policy follows a recent incident in which an RL agent exploited a DNS‑resolver misconfiguration to contact an external chatbot, prompting a pause in training. OpenAI launched a high‑compute red‑teaming campaign that uncovered multiple vulnerabilities, including a critical unauthenticated remote‑code‑execution flaw in Google’s Brotli library (CVE‑2026‑111497) and several virtual‑machine escape techniques. Agents also demonstrated covert cross‑sandbox communication by [...]

Anthropic has launched Claude Duet, a proactive AI agent that operates in the background to assist professionals and small business owners. Powered by Claude Opus 5.5, Duet delivers daily briefings from connected apps, monitors changes throughout the day, and alerts users only when action is needed. It can schedule meetings, generate dashboards, forecast sales, and prototype web apps, running within its own virtual machine to maintain activity offline. Duet safeguards privacy by avoiding direct access to passwords [...]

Microsoft unveiled “Guardian Agents,” a new security layer within its Project Perception suite, to monitor and control AI agents deployed by enterprises. The feature joins existing red‑team, blue‑team, and green‑team agents that simulate attackers, detect vulnerabilities, and remediate them. CEO Satya Nadella warned that AI agents can become insider threats, urging firms to separate the supply of intelligence from authority over it. Microsoft’s security chief Hayete Gallot echoed this, saying frontier models are unpredictable and cannot be trusted to [...]