Математическая задача старше, чем Google, решена, причём большую часть поиска выполнил ИИ. Исследователь Microsoft доказал 31-летнюю гипотезу Каннана–Ловаса–Шимоновича после того, как ИИ-агенты исследовали более 100 подходов.

Microsoft Research объявила 21 октября 2026 года, что старший исследователь Xinzhi Zhang и соавтор Zhao Song доказали гипотезу Каннана–Ловаса–Шимоновича — центральную открытую проблему многомерной геометрии, поставленную в 1995 году. Их 140-страничная статья "An O(1) Bound for the KLS Constant" (arXiv, 1 октября, пересмотрена 4 октября) устанавливает не зависящую от размерности границу и создана в человеко-управляемом агентном исследовательском процессе, в котором ИИ исследовал около 100 траекторий, а исследователи отсекали и перенаправляли поиск. Почему это важно: KLS лежит в основе теории многомерной выборки, используемой в статистике, оптимизации и алгоритмах, — а доказательство, уже подтверждённое независимыми командами и машинной проверкой Lean 4, стало вехой в математических открытиях с помощью ИИ.

• Rohan Paul2026-10-22 06:11