AI na Matatizo Magumu ya Ulimwengu · Hisabati · Microsoft Research · 2026-10-21
Kutatua changamoto kubwa ya miaka 31 katika hisabati – dhania ya KLS
Kichwa asilia: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Watafiti walitatua dhana ya Kannan–Lovász–Simonovits (KLS), iliyopendekezwa mwaka 1995 na kuaminika sana kuwa mojawapo ya maswali makuu yasiyotatuliwa katika jiometri ya vipimo vingi. Uthibitisho ulitokana na mchakato wa agentic unaoongozwa na binadamu ambapo mifumo ya akili bandia (AI) ilichunguza uwezekano wa kihesabu huku watafiti wakitathmini, kupunguza na kuelekeza upya utafutaji. Matokeo haya yanaanzisha kwamba makato rahisi tambarare yanakamata vizuizi nyembamba zaidi vya usambazaji wa log-concave ndani ya kipengele imara bila kujali idadi ya vipimo, na yalithibitishwa na watafiti wanaojitegemea, ikifuatiwa na uhakiki rasmi ulioshukiwa na mashine.