# 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

1. **Solving the KLS conjecture** (Microsoft Research, 21 Oct 2026): 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. [Primary source](https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture) · [Post](https://heyaliasif.com/ai/2026-10-22-openai-cli-omnara-php2shell-kls-rfd4-proteina#item-5)
2. **Proof-based general-purpose computing with Magnetar** (Microsoft Research, 15 Oct 2026): 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. [Primary source](https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar) · [Post](https://heyaliasif.com/ai/2026-10-16-nvidia-indic-moss-image-hy-memory-magnetar#item-4)

## Posts

- 2026-10-22 [OpenAI CLI, Omnara, PHP2Shell, KLS proof, RFD4-Proteina](https://heyaliasif.com/ai/2026-10-22-openai-cli-omnara-php2shell-kls-rfd4-proteina)
- 2026-10-16 [NVIDIA's Indic corpus, MOSS-Image, Hy-Memory and Magnetar](https://heyaliasif.com/ai/2026-10-16-nvidia-indic-moss-image-hy-memory-magnetar)

Canonical: https://heyaliasif.com/ai/topics/microsoft-research