ИИ перебрал более 100 подходов, прежде чем нашлось решение Исследователи Microsoft Research сообщили о доказательстве гипотезы Каннана — Ловаса — Симоновитса (KLS), сформулированной в 1995 году и считавшейся одной из центральных нерешённых задач многомерной геометрии. Над решением работали Чжао Сун и Синьчжи Чжан, применившие ИИ-агентов для поиска математических идей и проверки промежуточных рассуждений. В процессе они исследовали более 100 вариантов решения, прежде чем нашли подход, позволивший завершить доказательство...