Доказана гипотеза KLS: исследователи во главе с Синьчжи Чжаном (Microsoft Research) — 4 окт. 2026
Исследователи, в том числе Синьчжи Чжан из Microsoft Research, доказали гипотезу Каннан–Ловас–Симоновиц (KLS) в тексте от 4 октября 2026 г., показав существование универсальной константы для плоских разрезов в лог‑вогнутых распределениях, не зависящей от размерности. Работа возникла в ходе управляемого человеком исследования с участием ИИ, была независимо подтверждена несколькими исследователями и прошла машинно-проверённую формальную верификацию.