Microsoft Research: what I’ve logged
Microsoft Research comes up in 2 posts of my AI log, from October 2026 to October 2026, and each item below links to the primary source. The releases I logged include Solving the KLS conjecture, filed under frontier, agents and coding and open weights.
Items that mention Microsoft Research
- Microsoft Research 21 Oct 2026
Solving the KLS conjecture
A proof that the 1995 Kannan-Lovasz-Simonovits bound holds with a constant independent of dimension, found through a human-directed search of about 100 agent trajectories.
- Microsoft Research 15 Oct 2026
Proof-based general-purpose computing with Magnetar
A zero-knowledge virtual machine that proves RISC-V execution, reported as 10 to 39 times faster on average than comparable zkVMs on a laptop, with hash-only security.