Laporan AI · Microsoft · 2026-10-21 · Blog / komentar
Memecahkan tantangan besar matematika berusia 31 tahun – konjektur KLS
Judul asli: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Seorang peneliti Microsoft dan seorang kolaborator telah menyelesaikan konjektur Kannan–Lovász–Simonovits (KLS), sebuah masalah berusia 31 tahun yang diusulkan pada 1995 dan secara luas dianggap sebagai salah satu pertanyaan terbuka sentral dalam geometri dimensi tinggi. Hasil ini menetapkan prinsip geometris universal untuk distribusi log-konkaf, dengan menunjukkan bahwa pemotongan datar sederhana mampu menangkap bottleneck tersempitnya dalam faktor yang tetap terlepas dari dimensi. Terobosan ini lahir dari proses riset agentic yang diarahkan manusia, di mana sistem AI mengeksplorasi berbagai kemungkinan sementara para peneliti mengevaluasi dan mengarahkan ulang pencarian, dan hasilnya telah dikonfirmasi secara independen serta dilanjutkan dengan verifikasi formal yang diperiksa mesin.