Skip to content
AI NEWS JOURNAL
AI, IN PERSPECTIVE

All AI updates

Explore the complete news stream by source, topic and date.

Newest first

Microsoft releases Magnetar: a universal zero-knowledge virtual machine that supports Rust, Go, and C, with quantum-safe proofs implemented using standard hash functions.

Microsoft Research has unveiled Magnetar, a zero-knowledge virtual machine that, for the first time, simultaneously addresses the three long-standing bottlenecks of zero-knowledge proofs in a single system: low generation efficiency, high development barriers, and insufficient post-quantum security. It enables programs written in mainstream languages such as Rust, Go, and others to be compiled and executed directly, with verifiable proofs generated automatically. On average, it is 10–39 times faster than the fastest existing zkVMs, with proof verification taking only about 12 milliseconds. Moreover, its security relies solely on standard hash functions like SHA‑256 and SHA‑3—NIST‑standardized algorithms that have stood the test of decades of cryptographic scrutiny—eliminating the need for trusted setups, elliptic curves, or novel mathematical assumptions that have not been thoroughly validated.

Timeline and related coverage

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

Timeline and related coverage

Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses

Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them. The post Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses appeared first on Microsoft Research.

Timeline and related coverage