Courtesy of TechCrunch
AI Terbaru Mulai Pecahkan Masalah Matematika Sulit dari Erdős
Artikel ini bertujuan menunjukkan kemajuan terbaru AI dalam menyelesaikan masalah matematika terbuka, khususnya masalah Erdős, dan bagaimana AI mulai menjadi alat penting dalam riset matematika yang sebelumnya sulit dicapai secara otodidak oleh manusia.
15 Jan 2026, 02.10 WIB
141 dibaca
Share
Ikhtisar 15 Detik
- Kemajuan AI dalam menyelesaikan masalah matematika, khususnya masalah Erdős, menunjukkan potensi besar dalam penelitian matematika.
- Model AI terbaru telah menunjukkan kemampuan yang lebih baik dalam pemecahan masalah matematika yang sebelumnya sulit dipecahkan.
- Penerimaan dan penggunaan alat AI oleh matematikawan ternama mencerminkan perubahan dalam pendekatan penelitian matematika.
tidak disebutkan - Neel Somani, seorang insinyur perangkat lunak dan peneliti sebelumnya, menemukan bahwa model AI terbaru dari OpenAI, ChatGPT versi 5.2, mampu memecahkan masalah matematika yang selama ini dianggap sulit bagi mesin. Ia memberikan waktu 15 menit dan model AI itu berhasil memberikan solusi lengkap yang juga diverifikasi dengan alat formaliasi bernama Harmonic.
Model tersebut menunjukkan kemajuan signifikan dalam penalaran matematika, bahkan mampu mengutip teorema klasik seperti Legendre dan Bertrand serta menemukan solusi yang berbeda dan lebih lengkap dari solusi yang pernah dipublikasikan oleh matematikawan Harvard, Noam Elkies. Hal ini menunjukkan AI mulai mampu maju melewati batas sebelumnya.
Setelah rilis GPT 5.2, semakin banyak masalah matematika terbuka yang berhasil diselesaikan. Sejak Natal, ada 15 masalah dari koleksi masalah terbuka yang dikemukakan oleh Paul Erdős yang berhasil diselesaikan, dan sebagian besar menggunakan bantuan AI. Ini menunjukkan bahwa AI mulai diaplikasikan secara nyata dalam komunitas matematika.
Matematikawan terkenal Terence Tao mengamati bahwa AI sangat cocok untuk menangani sejumlah besar masalah Erdős yang memang relatif mudah tapi tersembunyi, sehingga diharapkan banyak masalah sederhana tersebut dapat selesai hanya dengan metode AI. Transformasi lain adalah penggunaan formaliasi matematika dengan alat seperti Lean dan Harmonic, yang mempercepat validasi serta perpanjangan solusi matematika.
Pendiri Harmonic, Tudor Achim, menyatakan yang paling penting bukan jumlah masalah yang diselesaikan, melainkan kenyataan bahwa para matematikawan profesional mulai menggunakan alat AI dalam riset mereka. Ini menandai titik balik penerimaan AI sebagai alat bantu kredibel di bidang matematika dan ilmu komputer.
Referensi:
[1] https://techcrunch.com/2026/01/14/ai-models-are-starting-to-crack-high-level-math-problems/
[1] https://techcrunch.com/2026/01/14/ai-models-are-starting-to-crack-high-level-math-problems/
Analisis Ahli
Terence Tao
"AI lebih efektif diterapkan pada masalah Erdős yang 'long tail' dengan solusi yang lebih sederhana sehingga berpotensi menyelesaikan banyak masalah yang selama ini terabaikan."
Analisis Kami
"Kemajuan AI dalam matematika bukan hanya soal kekuatan komputasi, tapi juga inovasi dalam formalasi dan verifikasi yang membuat hasilnya dapat dipercaya. Ini menandai perubahan paradigma dimana kolaborasi manusia dan mesin menjadi kunci dalam memecahkan teka-teki matematis yang sudah lama dianggap sulit."
Prediksi Kami
Di masa depan, AI akan semakin intensif digunakan untuk menyelesaikan masalah matematika terbuka terutama yang memiliki solusi relatif sederhana, mempercepat kemajuan matematika dan mengubah cara riset dilakukan.
Pertanyaan Terkait
Q
Apa penemuan yang dibuat oleh Neel Somani tentang model AI?A
Neel Somani menemukan bahwa model terbaru OpenAI dapat memberikan solusi yang lebih baik untuk masalah matematika yang belum terpecahkan.Q
Siapa Paul Erdős dan apa kontribusinya dalam artikel ini?A
Paul Erdős adalah matematikawan legendaris yang dikenal dengan banyak conjecture yang menjadi ajang pembuktian kecerdasan buatan.Q
Apa peran Harmonic dalam kemajuan matematika yang dibahas?A
Harmonic mengembangkan alat seperti Aristotle yang membantu mengotomatisasi proses formalization dalam pembuktian matematika.Q
Bagaimana Terence Tao melihat kemajuan model AI dalam menyelesaikan masalah Erdős?A
Terence Tao mencatat bahwa model AI telah membuat kemajuan yang berarti dalam menyelesaikan masalah Erdős dan menyoroti potensi AI dalam matematika.Q
Apa yang dimaksud dengan formalization dalam konteks pembuktian matematika?A
Formalization adalah proses yang memudahkan verifikasi dan pengembangan argumen dalam pembuktian matematika.Artikel Serupa
