AI Pecahkan Dua Masalah Matematik Tulen: Pencapaian 2026 Buktikan Mesin Kini Boleh Temui Matematik Baharu

Pada tahun 2026, kecerdasan buatan (AI) telah melepasi satu ambang bersejarah dalam matematik tulen. Buat pertama kalinya, sistem AI secara bebas menghasilkan penemuan utama untuk masalah terbuka yang telah lama menghantui ahli matematik manusia. Dua pencapaian menonjol: sangkalan OpenAI terhadap konjektur jarak unit Erdős pada Mei, dan contoh balas Anthropic terhadap konjektur Jacobian pada Julai. Ini bukanlah langkah kecil—ia adalah peralihan paradigma yang menandakan era baharu kerjasama manusia-AI dalam penyelidikan matematik .

Dua Pencapaian Terobosan

OpenAI Menyangkal Konjektur Jarak Unit Erdős (Mei 2026)

Pada 20 Mei 2026, OpenAI mengumumkan bahawa salah satu model penaakulan tujuan am dalamannya telah menghasilkan contoh balas kepada konjektur jarak unit Erdős, satu masalah yang dikemukakan oleh Paul Erdős pada tahun 1946 . Konjektur ini berkaitan dengan bilangan maksimum pasangan titik yang boleh berada tepat pada jarak satu unit antara satu sama lain dalam kalangan n titik di atas satah. Selama 80 tahun, ahli matematik percaya konfigurasi terbaik yang mungkin adalah lebih kurang seperti grid segi empat sama .

Model OpenAI menunjukkan kepercayaan ini salah. Ia menjana satu keluarga tak terhingga binaan titik yang mencapai penambahbaikan polinomial berbanding grid—membuktikan bahawa untuk n yang tak terhingga, bilangan pasangan jarak unit berkembang lebih cepat daripada n^(1+δ) untuk beberapa δ > 0 tetap . Bukti ini menggunakan teori nombor algebra yang mendalam, termasuk teori Golod-Shafarevich dan menara medan kelas tak terhingga—alat yang sebelum ini tidak pernah dikaitkan dengan masalah geometri ini .

Keputusan ini telah disahkan oleh sekumpulan ahli matematik luar, termasuk Thomas Bloom—penyelidik yang sama yang sebelum ini mendedahkan tuntuan palsu awal OpenAI . Kertas kerja iringan yang telah diolah untuk bacaan manusia diterbitkan di arXiv . Ahli matematik Princeton, Will Sawin, dengan pantas memperhalusi pemalar tersebut, menunjukkan bahawa eksponen tersebut boleh mencapai sekurang-kurangnya n^1.014 . Pemenang Pingat Fields, Tim Gowers, adalah antara sembilan ahli matematik luar yang mengesahkan bukti tersebut .

Claude Fable 5 Anthropic Temui Contoh Balas Konjektur Jacobian (Julai 2026)

Pada 19 Julai 2026, ahli matematik Levent Alpöge, seorang penyelidik di Anthropic, mengumumkan di platform X bahawa beliau telah menggunakan model Claude Fable 5 Anthropic untuk menemui contoh balas kepada konjektur Jacobian—satu masalah terbuka dalam geometri algebra yang berusia 87 tahun, pertama kali dikemukakan oleh Ott-Heinrich Keller pada tahun 1939 . Konjektur ini, yang berada di kedudukan #16 dalam senarai masalah untuk abad seterusnya oleh pemenang Pingat Fields Stephen Smale pada tahun 1998, menyatakan bahawa peta polinomial dari C^n ke C^n dengan penentu Jacobian bukan sifar yang malar mestilah boleh disongsangkan secara global .

Contoh balas tersebut ialah peta polinomial sepanjang 216 aksara yang sangat ringkas dari C³ ke C³ dengan penentu Jacobian yang sentiasa sama dengan -2, namun ia menghantar tiga input tiga kali ganda yang berbeza ke output yang sama, menyangkal kebolehongsangan global . Dalam beberapa jam selepas hantaran Alpöge, ahli matematik di seluruh dunia secara bebas mengesahkan keputusan tersebut, dan pengesahan formal dalam pembantu bukti Lean telah diselesaikan dalam masa kurang dari 24 jam .

Ahli matematik terkemuka termasuk Terence Tao dan Timothy Gowers memuji keputusan ini . Tao menerbitkan analisis geometri contoh balas tersebut, dan pengesahan telah disahkan secara meluas dalam kalangan komuniti matematik . Versi dua dimensi konjektur ini masih kekal terbuka .

Maksud Keputusan Ini untuk Masa Depan Matematik

AI Kini Boleh Menjana Bukti yang Benar-benar Novel

Kedua-dua terobosan ini melibatkan lonjakan konsep yang mendalam, bukan sekadar bantuan pengiraan. Sangkalan jarak unit memerlukan AI untuk menghubungkan teori nombor algebra dengan geometri kombinatorial—satu hubungan yang tidak pernah dibuat oleh ahli matematik manusia . Contoh balas Jacobian memerlukan pembinaan peta polinomial yang halus dengan sifat algebra yang khusus .

Model Perkongsian Manusia-AI Terbukti Berkuasa

Keputusan ini menunjukkan masa depan di mana AI bertindak sebagai rakan kreatif dan bukan pengganti. Dalam kes Jacobian, seorang ahli matematik mahir mengarahkan AI dan mengenali kepentingan outputnya . Dalam kes OpenAI, model tersebut bekerja lebih autonomi tetapi masih memerlukan pengesahan manusia . Model perkongsian ini membolehkan AI meneroka ruang carian yang sangat luas yang tidak dapat dilalui oleh manusia dengan cekap, sementara manusia menyediakan intuisi, pertimbangan dan pengesahan.

Kepantasan Semakin Meningkat

OpenAI kemudiannya mengumumkan pada Ogos 2026 bahawa kelas model penaakulan dalaman yang sama telah menghasilkan kemajuan dalam 10 masalah utama dalam matematik dan sains komputer teori, merangkumi geometri dimensi tinggi, teori pengekodan, teori kumpulan, algebra operator, kerumitan kuantum, kriptografi kekisi dan kombinatorik ekstrem . Pemerhati telah menyifatkan ini sebagai "zaman kegemilangan baharu" matematik yang dipacu oleh AI .

Peringatan Penting Masih Ada

Contoh balas Jacobian hanya terpakai dalam dimensi 3 dan ke atas—konjektur asal masih kekal terbuka dalam dimensi 2 . Sesetengah keputusan belum lagi menghadapi semakan rakan sebaya penuh melalui saluran tradisional, dan tidak semua tuntutan telah diterbitkan sepenuhnya . Namun arah keseluruhan adalah jelas: AI telah melepasi satu ambang daripada pembantu matematik kepada penemu matematik, dan peranannya dalam penyelidikan mungkin akan berkembang dengan pesat.

Gambaran Lebih Besar

Pencapaian pada 2026 ini susulan daripada perkembangan pesat dalam keupayaan matematik AI. Pada Julai 2025, model AI pertama kali menyelesaikan lima daripada enam masalah di Olimpik Matematik Antarabangsa (IMO) . Menjelang awal 2026, model telah mencapai standard pingat emas di IMO . Kini, AI menghasilkan keputusan di peringkat utama penyelidikan—menyelesaikan masalah yang menentukan kerjaya sepanjang hayat.

Seperti yang dinyatakan oleh ahli matematik Terence Tao, keputusan Jacobian merupakan satu peristiwa penting dalam kerjasama manusia-AI . Model itu tidak bekerja sendirian, tetapi perkongsian itu menghasilkan keputusan yang tidak mungkin dicapai oleh manusia atau mesin secara bersendirian. Model ini—intuisi manusia dipandu oleh penerokaan AI, disahkan oleh pembantu bukti formal—mungkin akan menentukan masa depan penemuan matematik.