TLDR
Penggunaan AI dalam matematika telah mempercepat penyelesaian masalah-masalah kompleks, termasuk beberapa konjektur terkenal Erdős. Komunitas matematika semakin terhubung melalui platform daring, memungkinkan kolaborasi antara matematikawan profesional dan penggemar. Kemajuan teknologi AI telah menyebabkan perubahan signifikan dalam cara penelitian matematika dilakukan, dengan beberapa matematikawan merasa bahwa AI dapat menyelesaikan masalah yang sebelumnya mereka anggap sulit. Pomodo.id - OpenAI baru-baru ini membuat terobosan signifikan dalam dunia matematika dengan mengumumkan bahwa model AI internalnya berhasil menemukan contoh kontra terhadap masalah "unit distance", sebuah konjektur yang diajukan oleh Paul Erdős pada tahun 1946. Konjektur ini merupakan salah satu dari ribuan pertanyaan yang diajukan oleh Erdős, yang dikenal sebagai seorang matematikawan yang produktif dan sering berpindah-pindah. Apa yang membuat konjektur ini spesial adalah kesederhanaannya dalam penjabaran dan kedalamannya secara matematis. Penemuan ini menjadi bukti bersejarah pertama yang dihasilkan oleh model AI dan mengguncang dunia sains pada umumnya.Pada 20 Mei 2026, OpenAI mengumumkan bahwa hasil dari model AI tersebut, meskipun tidak definitif — karena para matematikawan manusia masih dapat memperbaikinya dalam waktu dekat — telah memberikan pandangan baru dengan menerapkan ide-ide dari cabang matematika yang belum pernah diterapkan pada masalah ini sebelumnya. Hanya dalam beberapa hari setelahnya, teknik terkait diadopsi untuk menyelesaikan masalah penting lainnya. Kemudian, pada 1 Agustus 2026, OpenAI mengumumkan bahwa model yang belum dirilis bernama Astra telah membuat sepuluh kemajuan matematis tambahan, termasuk menemukan solusi untuk tiga masalah lain yang diajukan oleh Erdős. Hal ini menimbulkan pandangan bahwa perkembangan ini merupakan titik balik dalam kemampuan matematis model-model AI.
Konjektur unit distance adalah masalah yang menyatakan bahwa dalam suatu bidang datar, dapatkah kita menempatkan titik-titik sedemikian rupa sehingga jarak antara semua pasangan titik tidak lebih dari satu unit? Konjektur ini telah menantang para matematikawan selama puluhan tahun dan menjadi simbol dari masalah yang tampaknya sederhana namun sangat mendalam. Penemuan OpenAI yang berhasil merobohkan konjektur ini tidak hanya menunjukkan kemampuan AI dalam menyelesaikan masalah-masalah matematis klasik, tetapi juga menggambarkan integrasi metode yang berbeda untuk menjangkau solusi. Ini membuktikan bahwa AI dapat memberikan perspektif baru dalam penelitian matematis.Namun, hasil dari model AI ini tetap menimbulkan keraguan mengenai peran AI dalam penelitian matematika. Meskipun AI menunjukkan kemampuan inovatif dalam menyelesaikan masalah, para matematikawan manusia masih memiliki kemampuan untuk memperbaiki dan meningkatkan hasil tersebut. Ini menegaskan bahwa meskipun AI dapat berkontribusi, kolaborasi antara manusia dan mesin masih sangat penting dalam riset matemetika.Di masa depan, perkembangan ini menunjukkan bahwa kemampuan AI akan terus berkembang dan memberikan kontribusi lebih besar dalam dunia matematik. Dengan semakin banyak masalah yang berhasil diselesaikan, kami dapat mengharapkan bahwa AI akan memainkan peran yang lebih sentral dalam penelitian ilmiah dan matematika. Hal ini dapat membuka pintu untuk penemuan baru yang bisa membawa dampak pada berbagai disiplin ilmu, termasuk di Indonesia, di mana penerapan teknologi canggih dalam pendidikan dapat meningkatkan pemahaman matematika di kalangan pelajar.Kedepannya, penemuan ini juga bisa memberikan lebih banyak perhatian pada teknologi AI di kalangan para peneliti di Indonesia, yang berpotensi meningkatkan kolaborasi internasional dalam bidang sains. Jika pertumbuhan AI terus berlanjut, maka akan ada kemungkinan besar bahwa kami akan melihat hasil yang lebih inovatif dan solusi kreatif untuk tantangan besar di masa depan.
