ИИ-агенты помогли доказать гипотезу KLS: её не могли решить 31 год
Исследователь Microsoft Research Синьчжи Чжан и независимый исследователь Чжао Сун представили доказательство гипотезы Каннана — Ловаса — Симоновица (KLS), сформулированной в 1995 году. …
Коротко
- Что: ИИ-агенты помогли доказать гипотезу KLS: её не могли решить 31 год
- Когда: 22 октября 2026 в 15:38
- Источник: Хабр · Разработка (сми)
- Тема: Агенты и инструменты
Материал подготовлен редакцией Tarasov Code Ильи Тарасова по сообщению Хабр · Разработка.
