Ripoti za AI · Microsoft · 2026-10-21 · Blogu / maoni
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
Mtafiti wa Microsoft pamoja na mshirika mmoja wametatua dhania ya Kannan–Lovász–Simonovits (KLS), tatizo la miaka 31 lililopendekezwa mwaka 1995 ambalo lilitazamwa sana kama mojawapo ya maswali muhimu yasiyotatuliwa katika jiometri ya vipimo vingi. Kipato hiki kinaanzisha kanuni ya jumla ya kijiometri kwa migawanyo ya log-concave, na kinaonyesha kwamba makato rahisi na tambarare yanakamata vikwazo vyake nyembamba zaidi ndani ya kigezo tuli bila kujali idadi ya vipimo. Uvumbuzi huu umetokana na mchakato wa utafiti wa agentic unaoongozwa na binadamu, ambao mifumo ya AI ilichunguza uwezekano huku watafiti wakitathmini na kuelekeza upya utafutaji, na umethibitishwa kwa kujitegemea na kufuatiwa na uthibitisho rasmi unaokaguliwa na mashine.