Skip to content
AI NEWS JOURNAL
AI, IN PERSPECTIVE

All AI updates

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

Newest first

OlmoEarth v1.3 Released: A High-Performance Open-Source Satellite Embedding Model for the Global Surface

The Allen Institute for AI has released OlmoEarth v1.3, offering planet-wide satellite embedding vectors at 10-meter resolution in both 64-dimensional and 128-dimensional formats, along with the interactive exploration tool Embeddings Explorer. It supports zero-code change detection, similar-region retrieval, and lightweight classification modeling.

Timeline and related coverage

A 31-year-old unsolved problem in mathematics, the KLS conjecture, has been proven: a fundamental breakthrough has been achieved in high-dimensional geometry and the theory of randomized algorithms.

On October 4, 2026, Zhang Xinzhi, a researcher at Microsoft Research, together with his collaborators, completed a rigorous proof of the Kannan–Lovász–Simonovits (KLS) conjecture, thereby resolving a long-standing central problem that had remained open since its formulation in 1995. This achievement establishes a dimension-independent constant bound for the “plane‑cut bottleneck” in high-dimensional log-concave distributions, providing an unconditional theoretical foundation for random sampling, convex optimization, and theoretical computer science.

Timeline and related coverage

Called to serve: Tech, research, and positive impact

Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manager Weishung Liu about the influences that led to the work and more. The post Called to serve: Tech, research, and positive impact appeared first on Microsoft Research.

Timeline and related coverage

PyTorch 2.15 officially supports MPS: FP8, MoE acceleration, and a comprehensive upgrade to the Metal kernel.

PyTorch 2.15 brings a major MPS backend upgrade to Apple Silicon Macs, natively supporting FP8 tensor operations on macOS for the first time, boosting MoE model decoding speed by 5–6.5 times, reducing peak video VAE memory usage from 270 GiB to 8 GiB, and migrating numerous operators from MPSGraph to dedicated Metal kernels.

Timeline and related coverage

Google Research advances AI agents rooted in real-world wet labs: Building the three technological cornerstones of autonomous biological discovery

Google Research has unveiled three key technological advances—the VERID digital twin framework, a closed-loop aptamer discovery system, and a targeted epitope‑cleaving protein design workflow—enabling AI agents to achieve a traceable, verifiable, and self‑iterating molecular discovery loop in real wet‑lab settings.

Timeline and related coverage

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