AI dan Masalah-Masalah Sulit Dunia · Matematika · Microsoft Research · 2026-10-21
Memecahkan tantangan besar matematika berusia 31 tahun – konjektur KLS
Judul asli: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Para peneliti berhasil menyelesaikan konjektur Kannan–Lovász–Simonovits (KLS), yang diajukan pada 1995 dan secara luas dianggap sebagai salah satu pertanyaan terbuka utama dalam geometri dimensi tinggi. Pembuktian tersebut muncul dari proses agentic yang diarahkan manusia, di mana sistem AI menjelajahi kemungkinan-kemungkinan matematis sementara para peneliti mengevaluasi, memangkas, dan mengarahkan kembali pencarian tersebut. Hasilnya menetapkan bahwa potongan datar sederhana menangkap hambatan paling sempit dari distribusi log-konkaf dalam faktor tetap tanpa memandang dimensi, dan hal itu dikonfirmasi oleh peneliti independen, diikuti verifikasi formal yang diperiksa mesin.