SALAH TANDA YANG MENENGGELAMKAN TIGA BUKTI
Konjektur Hodge adalah salah satu pertanyaan terbuka terdalam dalam matematika. Rumusannya, dalam makalah ini, diambil dari sebuah bab karya Pierre Deligne dalam buku The Millennium Prize Problems terbitan Clay Mathematics Institute. Secara sangat kasar, konjektur ini menyatakan bahwa “bentuk-bentuk” tertentu yang tersembunyi dalam topologi sebuah ruang geometris yang didefinisikan oleh persamaan polinomial selalu dapat disusun dari potongan-potongan lebih kecil yang juga didefinisikan oleh persamaan.
Pada September dan Oktober 2026, OpenAI merilis tiga dokumen, bertanda “OAI”, yang mengklaim membuktikan konjektur itu dalam kasus-kasus khusus: untuk permukaan tertentu yang disebut permukaan K3, hasil kali permukaan-permukaan itu, dan ruang-ruang delapan dimensi tertentu. OpenAI kemudian menarik ketiganya. Yankı Lekili, dari Imperial College London, dan Nick Sheridan, dari University of Edinburgh, kini menjelaskan dengan tepat di mana kesalahannya.
Jalan yang sah melalui cermin
Dokumen-dokumen itu menempuh jalan yang elegan. Sebuah gagasan kuat yang disebut simetri cermin homologis (homological mirror symmetry), yang dikonjekturkan oleh Maxim Kontsevich, menghubungkan ruang geometris X dengan ruang “cermin” Y yang jenisnya cukup berbeda, yang dipelajari dalam geometri simplektik — geometri warisan fisika gerak, yang mengukur luas, bukan panjang. Begitu hubungan ini terbukti, pertanyaan tentang X dapat ditukar dengan pertanyaan tentang Y.
Di sini, untuk menuntaskan pertanyaan Hodge bagi X, cukup membangun satu objek khusus di cermin Y: bentuk mirip permukaan yang disebut imersi Lagrange, yang juga harus tak terhalang (unobstructed) — sebuah syarat teknis yang menjadikannya anggota sah dari perangkat cermin. Lekili dan Sheridan sepakat bahwa ini pendekatan yang sah. Masalahnya: membangun Lagrange tak terhalang itu sendiri adalah soal yang sulit. Di situlah ketiga dokumen itu gagal.
Di mana titik-titik persilangan berperan
Sebuah imersi boleh memotong dirinya sendiri, dan setiap titik persilangan membawa sebuah bilangan, yaitu derajat-nya. Persilangan berderajat ganjil tidak berbahaya di sini. Persilangan berderajat 2 dapat menimbulkan hambatan.
Dokumen-dokumen itu pertama-tama membangun imersi kasar dengan teknik yang fleksibel, yaitu prinsip-h dari Gromov dan Lees. Lalu mereka memakai teorema tahun 2013 dari Tobias Ekholm, Yakov Eliashberg, Emmy Murphy, dan Ivan Smith untuk merapikannya, sehingga setiap persilangan berderajat ganjil. Tanpa persilangan genap yang tersisa, sifat tak terhalang akan menyusul.
Plus yang seharusnya minus
Teorema 2013 itu benar. Namun, teorema itu menghitung persilangan dengan konvensi tanda yang berlawanan dengan konvensi standar. Para penulisnya tidak pernah menyatakannya secara eksplisit; mereka memakai konvensi mereka secara konsisten, dan konvensi itu dapat disimpulkan dari rumus dan bukti mereka. Dokumen-dokumen OpenAI justru memakai konvensi standar — satu tanda terbalik. Ini penting karena hasil teorema itu bergantung pada apakah suatu jumlah tertentu dari persilangan-persilangan, yang dihitung dengan tanda plus dan minus, bernilai negatif atau tidak. Dokumen-dokumen itu membangun imersinya sedemikian rupa sehingga jumlah itu negatif — kasus yang mereka kira memungkinkan setiap persilangan dibuat ganjil. Dengan tanda milik teorema itu sendiri, jumlah yang sama bernilai positif: kasus yang lain. Masalah ini tampaknya pertama kali disadari dan dilaporkan kepada OpenAI oleh Nathan Humphrey.
Dengan tanda yang dibaca benar, teorema itu bercerita lain. Konstruksinya selalu menyisakan satu titik persilangan berderajat 2, yang oleh Lekili dan Sheridan disebut p. Setiap persilangan lainnya bisa dibuat ganjil; p tetap ada. Dan p sudah cukup untuk meruntuhkan bukti.
Ini lebih buruk daripada sekadar celah. Para penulis menunjukkan bahwa imersi yang dihasilkan dengan cara ini biasanya terhalang: sebuah cakram “kaku” kecil — permukaan terisolasi yang mustahil diubah bentuknya, dengan tepi yang terletak pada imersi dan melewati p — menimbulkan hambatan yang, dalam rezim tertentu, tidak bisa lenyap — dan di luar rezim itu tidak ada alasan hambatan itu akan saling meniadakan. Dalam kata-kata mereka, persilangan ini adalah “harga dari fleksibilitas”.
Kaku lawan fleksibel
Para matematikawan di bidang ini membedakan masalah fleksibel, yang tunduk pada alat serbaguna dari topologi diferensial, dari masalah kaku, yang tidak. Lagrange tak terhalang umumnya kaku, dan biasanya seseorang bisa beralih dari yang kaku ke yang fleksibel, tetapi tidak sebaliknya. Intuisi itu membuat beberapa peneliti skeptis terhadap dokumen-dokumen tersebut sebelum ditarik. Namun, para penulis menambahkan catatan kerendahan hati: intuisi bisa keliru, dan teorema 2013 itu sendiri pernah bertentangan dengan dugaan.
Apa yang bertahan
Lekili dan Sheridan tidak menganalisis sisa argumennya, dan mereka mencantumkan tiga hasil positif. Strategi keseluruhannya — menyerang konjektur Hodge melalui simetri cermin — menarik dan layak diteruskan; jika seseorang mengatasi rintangan Lagrange, dokumen-dokumen itu mungkin bisa memandu langkah-langkah teknis yang tersisa. Konvensi tanda tersembunyi dalam makalah 2013 kini sudah diperjelas. Begitu pula pertanyaan apakah imersi-imersinya bisa pernah tak terhalang.