Claude Fable 5 dari Anthropic Membantah Dugaan Matematika Berusia 87 Tahun Dengan Satu Rumus Kecil

Seorang ahli matematika Antropik telah menggunakan model bahasa besar milik perusahaannya untuk menyangkal dugaan matematika yang tidak dapat diselesaikan selama 87 tahun, memberikan salah satu contoh paling mencolok dari kecerdasan buatan yang memajukan matematika murni.

Levent Alpöge, seorang ahli matematika di perusahaan AI Anthropic, mengumumkan bahwa ia telah menemukan contoh tandingan dari dugaan Jacobian, sebuah masalah yang terkenal dan sudah lama ada dalam geometri aljabar. Dia mencapai hasilnya dengan menggunakan model Claude Fable 5 dari Anthropic, yang baru dirilis ke publik beberapa minggu sebelumnya. Penemuan ini, pertama kali dilaporkan oleh ScienceDaily dan SciTechDaily dan diambil dari artikel yang pertama kali diterbitkan di The Conversation, telah menimbulkan gelombang kegembiraan di kalangan komunitas matematika. Bagi pembaca yang mengikuti perkembangan AI terbaru, hasil ini menggarisbawahi betapa cepatnya model-model terdepan beralih dari trik di ruang tamu menjadi karya ilmiah yang benar-benar produktif.

Formula yang Cukup Kecil untuk Satu Postingan

Apa yang membuat terobosan ini begitu mengejutkan adalah kekompakannya. Menurut SciTechDaily, contoh tandingannya adalah fungsi tiga dimensi yang sangat sederhana — sebuah rumus yang cukup pendek untuk dimasukkan ke dalam satu postingan di X. Contoh tandingan yang dibantu AI menyangkal dugaan Jacobian di atas dua dimensi, sekaligus membiarkan bentuk dua dimensi asli dugaan tersebut tetap terbuka.

Nuansa itu penting. Hasilnya tidak menyelesaikan seluruh permasalahan yang telah terjadi sejak abad ke-19. Sebaliknya, hal ini memperlihatkan batasan yang tidak terduga: versi dugaan yang umum dan berdimensi lebih tinggi adalah salah, meskipun kasus yang paling dipedulikan oleh para ahli matematika masih belum terselesaikan.

Sejarah Dibalik Masalah

Dugaan Jacobian berkaitan dengan fungsi polinomial — mesin matematika yang menerima bilangan dan menghasilkan bilangan baru dengan mengikuti aturan tertentu. Dalam pengaturan ini, angka dapat mewakili titik-titik dalam suatu ruang, seperti koordinat pada peta. Suatu fungsi mengambil koordinat tersebut dan mengubahnya, memindahkan titik ke posisi berbeda. Matematikawan dapat memeriksa kelancaran suatu fungsi menata ulang ruang dengan menghitung determinan Jacobiannya. Dugaannya pada dasarnya menanyakan: jika determinan tersebut adalah konstanta bukan nol, apakah fungsi tersebut tentu mempunyai invers polinomial?

Masalahnya memiliki sejarah tersendiri. Hal ini pertama kali dinyatakan oleh matematikawan Ceko Ludwig Kraus pada tahun 1884, kemudian digeneralisasikan ke sejumlah dimensi oleh matematikawan Jerman Ott-Heinrich Keller pada tahun 1939. Hal ini dianggap sangat penting sehingga Peraih Medali Fields Stephen Smale memasukkannya ke dalam daftar Masalah Matematika untuk Abad Berikutnya yang berpengaruh pada tahun 1998.

Selama umurnya yang panjang, dugaan ini menarik banyak bukti yang diklaim, termasuk upaya Beniamino Segre dan Wolfgang Gröbner, dua ahli matematika terkenal abad ke-20. Tidak ada yang bertahan. Fakta bahwa contoh tandingan kini telah muncul - dengan bantuan model bergaya chatbot - menggambarkan bagaimana AI terbukti berguna untuk menemukan objek matematika yang tidak terduga dan juga untuk membangun bukti.

Mengapa Kasus Dimensi Tinggi Gagal

Perbedaan utamanya adalah antara dua dan tiga (atau lebih) dimensi. Dugaan Jacobian dua dimensi yang asli, versi yang telah digunakan dalam geometri aljabar selama beberapa generasi, masih terbuka. Apa yang ditemukan Alpöge dan Claude Fable 5 adalah contoh tandingan dalam tiga dimensi, yang cukup untuk meruntuhkan dugaan umum yang dirumuskan Keller pada tahun 1939.

Itu adalah hasil yang berarti. Banyak peneliti menduga bahwa jika dugaan itu benar, maka hal itu juga berlaku di mana-mana. Contoh tandingan yang bersih dalam dimensi tiga mempersempit ruang kemungkinan dan mengubah pertanyaan yang tersisa: apakah dua dimensi benar-benar istimewa, atau adakah contoh tandingan yang juga mengintai di sana?

Ringkasnya contoh tandingan itu sendiri luar biasa. Fortune melaporkan bahwa para ahli matematika sedang bergulat dengan "perubahan yang sangat cepat dan sangat meresahkan" ketika alat-alat AI memecahkan masalah-masalah yang sudah ada sejak berabad-abad lalu. Sebuah formula kecil untuk mengatasi masalah yang didukung oleh Peraih Medali Fields adalah jenis perkembangan yang memicu kegelisahan – dan kegembiraan itu.

Peran AI yang Berkembang dalam Matematika

Matematikawan yang bekerja dengan model bahasa besar baru-baru ini menghasilkan beberapa hasil penting, dan contoh tandingan dugaan Jacobian berbeda dari banyak kemajuan sebelumnya. Daripada melakukan pencarian secara brute force, kolaborasi antara Alpöge dan Claude Fable 5 menghasilkan jawaban yang ringkas dan dapat diperiksa oleh manusia — jenis keluaran yang dapat diverifikasi dan dikembangkan oleh para ahli matematika.

Penemuan ini juga menyoroti pola yang lebih luas. Model Frontier semakin mampu mengeksplorasi ruang kombinatorial yang luas dan mengajukan calon objek yang mungkin tidak akan pernah ditemukan oleh manusia. Ketika kandidat tersebut cukup pendek untuk diverifikasi secara manual, kombinasi jangkauan AI dan penilaian manusia akan menjadi efektif.

Apa Artinya bagi Masa Depan

Apa dampaknya bagi masa depan matematika — dan bagi manusia matematikawan — masih harus dilihat, sebagaimana dicatat SciTechDaily. Contoh tandingan tidak membuat ahli matematika menjadi ketinggalan jaman; bahkan, hal ini mempertajam pertanyaan terbuka dan memberi peneliti target baru yang tepat. Namun hal ini memperkuat bahwa AI telah berkembang lebih dari sekadar meringkas buku teks dan menjadi inti karya matematika kreatif.

Hasilnya juga merupakan validasi tingkat tinggi untuk Anthropic. Claude Fable 5, dirilis ke publik hanya beberapa minggu sebelum penemuannya, digunakan oleh salah satu ahli matematika perusahaan untuk menyelesaikan masalah yang telah menggagalkan beberapa pemikir terbesar abad yang lalu. Bagi sebuah perusahaan yang berlomba-lomba menunjukkan bahwa model-modelnya mampu berpikir jernih, hanya sedikit dukungan yang lebih kredibel dibandingkan dugaan tahun 1939 yang akhirnya berhasil dipecahkan.

Tetap Terdepan dalam AI

Laju penemuan yang didorong oleh AI semakin cepat di bidang sains, matematika, dan industri. Tandai meja berita AI terkini kami untuk liputan berkelanjutan tentang rilis model, terobosan penelitian, dan perubahan kebijakan.

Baca berita AI selengkapnya →