Itu bukan hanya soal matematika.
Itu adalah cerita hantu.
Pada tahun 1930-an, seorang matematikawan Jerman bernama Werner Burau mengubah geometri menjadi aljabar. Dia mengambil kepang—untaian vertikal kusut yang kita kaitkan dengan rambut atau gelang persahabatan—dan meratakannya menjadi kisi-kisi angka.
Matriks.
Spreadsheet topologi.
Tangkapannya?
Tidak ada yang tahu apakah terjemahannya berfungsi dengan sempurna.
Apakah matriksnya selalu cocok dengan kepangnya?
Atau apakah matematikanya berbohong?
Jika matriks kehilangan informasi, maka matriks tersebut “tidak setia”. Jika kebenaran tetap utuh, maka ia “setia”.
Selama sembilan puluh tahun, tidak ada yang bisa menjelaskannya.
Kemudian, pada tahun 2026, Joan Birman menyelesaikannya.
Dia berusia sembilan puluh sembilan tahun.
Bagaimana Misteri Kepang 4 Untai Akhirnya Terpecahkan
Untuk memahami mengapa ini memakan waktu satu abad, Anda harus melihat untaiannya.
Satu untai?
Remeh. Itu lurus ke bawah. Setia.
Dua helai?
Mereka saling bersilangan dalam pola yang berulang. Mudah dilacak. Setia.
Tiga helai?
Selama beberapa dekade, para ahli matematika membuktikan bahwa hal ini juga benar. Matriksnya mencerminkan simpul dengan tepat.
Lima helai atau lebih?
Di sini, perhitungannya gagal.
Bukti geometris menunjukkan bahwa matriks tersebut sepenuhnya tidak setia.
Informasi menguap selama penerjemahan.
Tapi bagaimana dengan empat?
Nomor empat duduk di tengah. Yang aneh.
Selama bertahun-tahun, konsensusnya berubah.
Banyak peneliti percaya bahwa empat helai akan bergabung dengan kelompok lima lebih. Mereka pikir itu tidak setia. Mereka menghabiskan waktu puluhan tahun untuk mencari contoh tandingan, mencoba membuktikan bahwa matriks tersebut berbohong.
Mereka mencari kebohongan yang tidak ada.
Birman, bersama Tara Brendle (Universitas Glasgow) dan Vasudha Bharathram (Universitas Princeton), membalik naskahnya.
Alih-alih membuktikan bahwa matriks tersebut rusak, mereka membuktikan bahwa matriks tersebut benar.
Mengapa Matematikawan Berjuang Dengan Representasi Burau Selama Beberapa Dekade
Birman tidak memulai dengan matriks.
Dia mulai dengan merajut.
“Baru setelah saya tiba di sekolah pascasarjana, saya menemukan sisi matematika yang indah dalam hobi saya.” —Joan Birman
Pada tahun 1970-an, dia menulis Kepang, Tautan, dan Pemetaan Kelompok Kelas.
Buku ini menghidupkan kembali kasus Burau yang tidak terselesaikan.
Birman menunjukkan bahwa untuk empat untai, masalahnya direduksi menjadi mencari hubungan dalam matriks tiga-kali-tiga yang spesifik.
Kedengarannya menjanjikan.
Ternyata itu ikan haring merah.
Matematikawan lain, seperti Emmanuel Breuillard dan Oleksandr Kosyak, mencoba selama lebih dari dua puluh tahun.
Bahkan kecerdasan buatan pun mengecewakan mereka.
Mereka menghabiskan waktu enam bulan untuk memasukkan petunjuk ke dalam chatbot AI menggunakan pendekatan matriks Birman.
Bot tidak dapat memecahkannya.
Pada suatu Rabu pagi di tahun 2026, tim manusia mengumumkan solusinya.
Pendekatan Matematika Mana yang Membuktikan Kesetiaan Jalinan?
Tim berhenti mencari kekurangan pada matriks.
Bharathram punya firasat.
Mungkin anggapan ketidaksetiaan adalah kesalahannya.
Mungkin kepang empat helai itu setia.
Mereka mengadaptasi metode geometri yang dipelopori oleh John Moody.
Pendekatan awal Moody menggunakan geometri ini untuk membuktikan bahwa lima helai lebih tidak setia.
Tim Birman membalikkan logika tersebut.
Bayangkan titik-titik di selembar kertas.
Titik-titik ini mewakili untaian.
Gambarlah lingkaran di sekelilingnya.
Loop menangkap bagaimana untaian berinteraksi.
Bagian dalam lingkaran?
Itu adalah disk.
Brendle menjelaskan mekanismenya secara sederhana:
Disk menghitung matriks Burau.
Dengan tiga helai, loopnya terbatas.
Matriks tidak punya pilihan selain setia.
Dengan lima atau lebih untaian, jumlah disk yang mungkin akan meledak.
Loop yang berbeda menciptakan efek matriks yang serupa.
Informasi hilang.
Matriks menjadi tidak setia.
Tapi empat?
Empat adalah transisi fase.
Bagaikan air yang membeku menjadi es.
Kemungkinannya semakin besar, namun tidak cukup untuk memutus hubungan tersebut.
Tim menemukan “skenario buruk” dalam geometri empat untai.
Mereka menanganinya.
Mereka membuktikan matriksnya tetap setia.
Apakah AI Gagal Menyelesaikan Dugaan Burau?
Ya.
Dan tidak.
Kegagalan tersebut bukanlah kesalahan alat tersebut.
Itu adalah pendekatannya.
Para peneliti meminta AI untuk memecahkan masalah menggunakan kerangka kerja yang salah.
Mereka menggali ketidaksetiaan.
Mereka mencari celah pada tembok yang kokoh.
Yang-Hui He dari London Institute for Mathematical Sciences menyebut hasil ini “gila”.
Bukan karena matematika itu rumit.
Tapi karena butuh tujuh puluh tahun usaha dari begitu banyak pemikir cemerlang.
“Ini adalah salah satu cerita paling menarik akhir-akhir ini—bukan hanya karena buktinya,” katanya, “tetapi juga banyak orang yang telah mengerjakannya.”
Mengapa Bukti Ini Penting Untuk Teori Grup dan Simpul
Kepang bukan hanya tatanan rambut.
Mereka muncul dalam lipatan protein.
Dalam teori string.
Dalam komputasi kuantum.
Jika peta jalinan ke matriks cacat, fisika mungkin juga demikian.
Dengan memastikan representasi empat untai Burau sesuai, tim menutup kesenjangan dalam peta dasar topologi.
Birman terkejut dengan perhatian itu.
“Saya sangat terkejut bahwa hal ini mendapat banyak perhatian,” katanya.
“Orang-orang mencari contoh tandingan.”
Ketiganya tidak mengadakan pesta.
Birman berusia sembilan puluh sembilan tahun.
Brendle dan Bharathram tersebar di berbagai benua.
Pekerjaan selesai.
“Ini secara intrinsik menarik,” kata Bharathram.
Jalinan diikat.
Matriksnya cocok.
Tapi kekusutan selanjutnya?
Orang lain harus memikirkannya.
