Habr ИИ-агенты помогли доказать гипотезу KLS: её не могли решить 31 год Исследователь Microsoft Research Синьчжи Чжан и независимый исследователь Чжао Сун представили доказательство гипотезы Каннана — Ловаса — Симоновица (KLS), сформулированной в 1995…