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

41 минуты назад
1











English (US) ·
Russian (RU) ·