KONJEKTUR 1959, BUKTI DARI OPENAI, DAN SEORANG MATEMATIKAWAN YANG MEMBACANYA

Artikel ini membahas catatan yang ditulis seorang matematikawan untuk menjelaskan bukti pihak lain. Semua yang dikatakan di sini tentang bukti OpenAI berasal dari catatan itu, secara tidak langsung.

Kurva melewati titik

Masalah ini berawal dari soal sekolah yang disebut interpolasi: pilih beberapa nilai x, tentukan nilai yang harus diambil sebuah fungsi di masing-masingnya, dan selalu ada polinomial yang bisa melakukannya. Di bidang, permainan yang sama meminta sebuah kurva melewati sekumpulan titik, dan kurva itu bisa melakukannya asalkan derajatnya cukup tinggi. Kurva berderajat d — yang digambar oleh persamaan polinomial dalam x dan y dengan pangkat tertinggi d: garis lurus berderajat 1, lingkaran 2 — memiliki (d+1)(d+2)/2 koefisien, dan meminta kurva itu melewati satu titik sama dengan satu persamaan.

Sekarang mintalah lebih: kurva harus melewati setiap titik dengan multiplisitas m — beberapa kali, seperti simpul cabang-cabang yang bersilangan di sana. Setiap titik semacam itu memberlakukan m(m+1)/2 persamaan. Untuk d dan m yang besar, hitungannya sekitar d²/2 koefisien melawan r m²/2 syarat, sehingga, untuk r titik, hitungan itu menjamin adanya kurva begitu d/m sedikit di atas √r — tepatnya, begitu jumlah koefisien melebihi jumlah syarat.

Konjektur Nagata (1959) membuat hal ini tepat: untuk r ≥ 10 titik yang diletakkan secara “sangat umum” — tanpa kebetulan khusus apa pun di antara titik-titik itu, seperti titik-titik yang dipilih secara acak —, setiap kurva semacam itu memiliki derajat lebih besar dari m√r. Syarat r ≥ 10 diperlukan: sembilan titik selalu terletak pada sebuah kubik (kurva berderajat 3), dan kubik itu yang diambil m kali adalah kurva berderajat 3m yang melewati masing-masing titik itu m kali — tepat m√9, kesamaan yang justru dikecualikan konjektur itu. Nagata membuktikannya ketika r adalah bilangan kuadrat sempurna.

Dua contoh dari catatan itu: tidak ada kurva berderajat 9 yang melewati masing-masing dari 10 titik umum sebanyak tiga kali (hanya 55 koefisien untuk 60 syarat — itu saja belum cukup untuk menyimpulkan, karena syarat-syaratnya bisa saling tumpang tindih; yang menyingkirkannya adalah batas Nagata, karena 9 berada di bawah 3√10 ≈ 9,5), dan tidak ada kurva berderajat 12 yang melewati 16 titik umum sebanyak tiga kali — kasus kesamaan 12 = 3√16.

Buktinya, seperti diceritakan Tevelev

Rujukannya adalah “OpenAI, Nagata’s conjecture for plane curves”, sebuah pracetak OpenAI Math Release bertanggal 23 September 2026, dengan naskah pendamping tentang pertanyaan terkait yang dirilis pada 23 September dan 5 Oktober. Jenia Tevelev dari UMass Amherst mempelajarinya untuk sebuah ceramah dan mengubah paparan itu menjadi catatan ini, dengan harapan catatan ini “akan berguna, terutama bagi orang awam”. Tevelev tidak mengklaim orisinalitas dan menyusun ulang argumennya.

Langkah-langkah awal standar memampatkan bidang ke sebuah kurva kubik yang mulus dan menggabungkan r titik menjadi satu. Gagasan barunya, dalam paparan ini, adalah membiarkan kubik itu membentuk simpul — titik tempat kurva memotong dirinya sendiri, menjepit sebuah lingkaran hingga tertutup — dan mengikuti fungsi theta-nya, cara baku untuk menuliskan fungsi-fungsi yang hidup pada kurva semacam itu, sembari jepitan itu menutup. Sebuah dualitas lalu menukar pertanyaan “kurva mana yang lenyap di titik-titik itu?” dengan cerminannya, “nilai mana yang bisa ditetapkan di sana?”, dan yang tersisa adalah interpolasi pada segitiga titik kisi bilangan bulat — sebuah tabel nilai berhingga yang harus diisi, “yang mudah”.

Kasus enam belas titik rangkap tiga: 91 titik kisi segitiga (kiri) dan 96 monomial, yaitu suku-suku dasar seperti x²y yang membentuk polinomial (kanan). Menunjukkan bahwa ke-96 suku ini dapat mengambil nilai apa pun pada 91 titik itu — matriks 96 × 91 memiliki “rank penuh” — menyingkirkan kemungkinan kurva itu. — Gambar 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

Perhitungan yang sama menyelesaikan pertanyaan terkait yang lebih teknis, di mana bidang diperbesar di sekitar satu titik dengan besaran berbeda pada dua arah (“ledakan berbobot”, weighted blow-ups), ketika rasio besaran-besaran itu melebihi sembilan — salah satu kasus konjektur Dumnicki, Harbourne, Küronya, Roé, dan Szemberg.

Catatan itu menyajikan argumennya sebagai bukti. Catatan itu tidak menyebutkan pemeriksaan formal independen apa pun, seperti penelaahan sejawat atau bukti yang diverifikasi komputer.

“Pembaca manusia pertama mereka”

Catatan itu juga memuat pendapat penulisnya. Saat membaca naskah-naskah yang dirilis, Tevelev menulis: “Saya bertanya-tanya apakah saya mungkin pembaca manusia pertama mereka. Naskah-naskah itu tampak hampir sama sekali belum disunting.” Tevelev menduga perusahaan itu berharap para matematikawan yang akan merapikannya, sebuah kerja penyuntingan yang “menuntut keahlian dan waktu, tetapi hanya membawa sedikit pengakuan yang biasanya menyertai riset orisinal”. Seperti banyak orang lain, Tevelev yakin pendekatan ini merugikan profesi, “terutama motivasi dan pendidikan kaum muda”.

“Pada saat yang sama, saya rasa naskah-naskah ini adalah pencapaian yang menakjubkan,” tulis Tevelev: model itu memecahkan masalah yang dianggap banyak pakar mustahil dijangkau, dan “semak belukar tua konjektur matematika” sedang “dengan cepat dibakar dalam api AI”.

Usulannya: sebuah yayasan independen yang didanai perusahaan AI, yang menawarkan hibah, beasiswa, dan akses ke model terbaik bagi peneliti muda, dengan penelaahan sejawat yang meniru National Science Foundation Amerika Serikat.

Catatan itu menyebutkan bahwa ia “disunting dan diilustrasikan dengan ChatGPT Astra”.