Dugaan berusia ratusan tahun, tumbang lagi satu.
Matematikawan dari Anthropic/Harvard Levent Alpöge, bekerja sama dengan Claude, secara langsung memalsukan Carathéodory conjecture yang telah membingungkan dunia matematika selama lebih dari 100 tahun, sekaligus menghancurkan Loewner index conjecture.
Sebuah PDF telah beredar di kalangan matematika selama seminggu penuh. Sekarang, dokumen tersebut resmi dipublikasikan.
Ini bukan pertama kalinya Alpöge dan Claude bekerja sama membuat kehebohan. Saat Piala Dunia tahun ini, ia sudah mengajukan contoh penyangkal (counterexample) untuk dugaan Jacobian 3 dimensi, mengguncang dunia matematika,
Dugaan Berabad-abad, Tentang Apa Sebenarnya
Mari kita bahas Carathéodory conjecture itu sendiri.
Pada tahun 1924, matematikawan Jerman Hans Ludwig Hamburger mengajukan Carathéodory conjecture dalam geometri diferensial, tetapi dinamai berdasarkan matematikawan Yunani dan pembimbing doktoralnya, Constantin Carathéodory.
Dugaan tersebut menyatakan bahwa dalam ruang Euclidean tiga dimensi, setiap permukaan cembung, tertutup, dan cukup mulus pasti memiliki setidaknya dua titik umbilikal.
Constantin Carathéodory
Konjektur ini sangat ringkas tetapi sangat sulit dibuktikan: permukaan cembung tertutup yang cukup mulus memiliki setidaknya dua "titik umbilikal".
Titik umbilikal, secara sederhana, adalah titik pada permukaan di mana "tingkat kelengkungan semua arah sama persis".
Dalam geometri diferensial permukaan tiga dimensi, titik umbilikal adalah titik di mana permukaan bersifat lokal seperti bola. Semua kelengkungan normalnya sama, sehingga kedua kelengkungan utama sama, dan setiap vektor singgung adalah arah utama.
Setiap titik pada bola adalah titik umbilikal — ke mana pun Anda meraba, lengkungannya sama.
Carathéodory menegaskan: Tidak peduli bagaimana Anda meremas atau mendeformasi, selama permukaan cembung ini cukup mulus, Anda tidak mungkin menyisakan hanya satu titik umbilikal. Setidaknya harus ada dua.
Dugaan ini secara intuitif terasa sangat "benar".
Bola memiliki tak terhingga titik umbilikal, ellipsoid memiliki 2.
Selama seratus tahun, banyak matematikawan mencoba, tidak ada yang berhasil mengonstruksi benda cembung mulus dengan hanya 1 titik umbilikal.
Sejalan dengan ini adalah Loewner conjecture — indeks titik umbilikal yang terisolasi tidak melebihi 1. Kedua dugaan ini saling mendukung, selama ratusan tahun bagaikan sepasang gembok, mengunci seluruh wilayah geometri diferensial.
Sekarang, gembok itu telah dibuka. Penemuan kali ini, jika permukaan cembung terlalu mulus (dalam matematika disebut C∞, terdiferensiasi tak terhingga kali), Levent Alpöge menemukan permukaan cembung dengan hanya satu titik umbilikal.
Satu Contoh Penyangkal, Dua Dugaan Runtuh Bersamaan
Alpöge dan John-Paul Smith memberikan konstruksi yang sangat spesifik.
Mereka mendefinisikan serangkaian fungsi g_k, di mana g2 saat k=2 berfungsi sebagai fungsi pendukung permukaan bola, menghasilkan benda cembung dengan titik umbilikal berindeks 2 di titik asal.
Perhatikan, indeks 2 sudah secara langsung melanggar batas atas 1 dari Loewner conjecture.
Yang lebih krusial, karena adanya suku peluruhan eksponensial, g2 secara matematis menjamin kehalusan C∞ — artinya, benda cembung ini memenuhi semua syarat kehalusan yang diminta oleh Carathéodory conjecture.
Tapi ia hanya memiliki 1 titik umbilikal.
Carathéodory conjecture mensyaratkan setidaknya 2 titik umbilikal, namun contoh penyangkal memberikan 1, sehingga dugaan tersebut terbukti palsu.
Loewner index conjecture mensyaratkan indeks titik umbilikal adalah 1, namun kali ini 2, sehingga juga terbukti palsu.
Sebuah contoh penyangkal yang eksplisit dan dapat diverifikasi, meruntuhkan dua dugaan yang telah bertahan lebih dari seratus tahun.
Dalam matematika, untuk memalsukan sebuah dugaan hanya butuh satu contoh penyangkal. Tetapi menemukan contoh penyangkal itu mungkin lebih sulit daripada membuktikan dugaan itu sendiri.
Normalitas Baru di Dunia Matematika
Melihat kembali beberapa bulan terakhir:
Claude mencatat rekor baru untuk Hipotesis Riemann — meningkatkan batas bawah persentase nol dari 41,6% menjadi 67,2%, manusia hanya menaikkan 0,8% dalam 37 tahun.
OpenAI merilis 10 kemajuan dalam matematika dan ilmu komputer teoretis secara berturut-turut.
Alpöge terus-menerus menggunakan Claude untuk memalsukan beberapa dugaan klasik.
Pemenang baru Medali Fields mengumumkan bergabung dengan OpenAI.
Tren baru sedang muncul.
AI tidak lagi hanya menjadi kalkulator matematikawan. Ia sedang berubah menjadi "pelengkap intuisi" matematikawan — membuka jalur baru dengan kemampuan enumerasi dan konstruksinya di tempat di mana intuisi manusia gagal.
Dugaan berusia ratusan tahun tidak diruntuhkan oleh kecerdasan manusia yang lebih kuat. Ia diruntuhkan oleh paradigma baru kolaborasi manusia-mesin.
Paradigma ini akan terus meruntuhkan lebih banyak dugaan. Pertanyaannya hanya: yang berikutnya akan tumbang, yang mana.
Referensi:
https://x.com/haider1/status/2090034966717677902
https://x.com/alpoge/status/2089971359921156203
https://en.wikipedia.org/wiki/Carath%C3%A9odory_conjecture
Artikel ini berasal dari akun WeChat publik "Xin Zhi Yuan", penulis: ASI Revelation
