Sebuah masalah matematika yang lebih tua dari Google telah terpecahkan, dengan AI melakukan sebagian besar pencarian. Seorang peneliti Microsoft membuktikan konjektur Kannan–Lovász–Simonovits yang berusia 31 tahun setelah agen AI menjelajahi lebih dari 100 pendekatan.

Microsoft Research mengumumkan pada 21 Oktober 2026 bahwa peneliti senior Xinzhi Zhang dan kolaborator Zhao Song telah membuktikan konjektur Kannan–Lovász–Simonovits, masalah terbuka sentral dalam geometri berdimensi tinggi yang diajukan pada 1995. Makalah 140 halaman mereka "An O(1) Bound for the KLS Constant" (arXiv, 1 Oktober, direvisi 4 Oktober) menetapkan batas yang bebas dimensi, dihasilkan melalui proses penelitian agentik yang diarahkan manusia di mana AI menjelajahi sekitar 100 lintasan penelitian sementara para peneliti memangkas dan mengarahkan ulang pencarian. Mengapa penting: KLS menopang teori pengambilan sampel berdimensi tinggi yang digunakan dalam statistik, optimasi, dan algoritma — dan bukti ini, yang telah dikonfirmasi tim independen dan diverifikasi mesin lewat Lean 4, menandai tonggak penemuan matematika berbantuan AI.

• Rohan Paul2026-10-22 06:11