Учёные доказали гипотезу KLS 1995 года — ИИ-агенты перебрали больше ста подходов

Microsoft Research сообщила о доказательстве гипотезы KLS, сформулированной в 1995 году. Авторы работы — Чжао Сун и Синьчжи Чжан.

Гипотеза о том, как резать многомерное выпуклое тело: утверждается, что лучший плоский разрез не сильно уступает лучшему разрезу произвольной изогнутой поверхностью. Задача тридцать один год держалась нерешённой.

ИИ-агенты в ходе работы перебрали больше ста подходов, а люди отбрасывали слабые направления и решали, что развивать дальше. То есть машина давала ширину перебора, человек — отбор.