TLDR
AI telah berhasil memverifikasi bukti teorema terakhir Fermat dalam waktu yang jauh lebih singkat dibandingkan dengan estimasi manusia. Kemampuan AI dalam formalizasi bukti menunjukkan potensi besar untuk memeriksa dan menghasilkan penalaran matematis baru. Pencapaian ini menandakan bahwa AI dapat melakukan tugas-tugas kompleks dalam matematika, membuka kemungkinan untuk menemukan kesalahan dalam hasil matematika yang sudah diterima. Pomodo.id - AI telah mencapai prestasi baru dalam bidang matematika dengan berhasil menyelesaikan bukti dari Teorema Terakhir Fermat dalam waktu yang sangat singkat, hanya 11 hari. Keberhasilan ini menunjukkan kemampuan luar biasa dari teknologi AI untuk menangani masalah matematika yang kompleks, bahkan yang telah menjadi tantangan selama lebih dari 350 tahun. Sebelumnya, matematikawan Andrew Wiles yang pertama kali menyelesaikan teorema ini pada tahun 1994, setelah menghabiskan waktu hampir 7 tahun untuk melakukannya. Kini, AI Claude dari Anthropic mampu menghasilkan bukti berbasis kode yang dipastikan keakuratannya dalam jumlah yang sangat besar, mencapai 13 juta baris.Keberhasilan ini diumumkan pada tanggal 4 September oleh perusahaan Anthropic yang berbasis di San Francisco, AS. Dikatakan bahwa sebuah proyek yang semula diharapkan memakan waktu 10 tahun untuk diselesaikan oleh manusia, kini bisa diselesaikan dalam waktu kurang dari dua pekan oleh AI. Alex Kontorovich, seorang ahli teori angka dari Rutgers University, menyatakan rasa takjubnya terhadap kemampuan mesin ini, yang dapat mengubah karya manusia menjadi bukti yang dapat diverifikasi secara otomatis.Namun, ada beberapa tantangan yang harus diperhatikan dalam penggunaan AI dalam rasio matematik. Walaupun kemajuan AI mengesankan, belum ada jaminan bahwa semua hasil yang dihasilkan oleh AI akan benar, atau seakurat karya manusia. Dalam konteks ini, para matematikawan masih perlu menjalankan verifikasi manual untuk memastikan keabsahan dari temuan yang dihasilkan oleh sistem AI. Hal ini menunjukkan bahwa perkembangan arti penting AI dalam dunia matematika masih memerlukan pengawasan dan pemahaman dari manusia.Perkembangan ini memiliki implikasi yang signifikan bagi generasi muda di Indonesia, terutama dalam konteks pendidikan dan karier. Dengan kemampuan AI untuk menjadi alat bantu dalam menyelesaikan dan memverifikasi masalah matematika, akan ada lebih banyak peluang bagi individu yang memiliki latar belakang di bidang matematika dan teknologi untuk memasuki industri yang semakin maju. Keahlian dalam menggunakan alat AI dan memahami algoritma matematika kompleks akan sangat berharga di masa depan. Peluang karier baru di bidang STEM (sains, teknologi, rekayasa, dan matematika) diprediksi akan terus bertumbuh, dengan kebutuhan untuk profesional yang dapat mengembangkan dan menggunakan teknologi ini.
AI Claude adalah model kecerdasan buatan yang dikembangkan oleh Anthropic. Model ini mampu menyelesaikan masalah-masalah matematika yang kompleks, termasuk Teorema Terakhir Fermat yang terkenal. Keberhasilan Claude dalam menghasilkan bukti matematis ini menunjukkan bahwa AI tidak hanya berkutat pada tugas-tugas rutin, tetapi juga dapat berfungsi sebagai alat penemuan dan verifikasi dalam matematika, yang membuka jalan bagi aplikasi lebih lanjut dalam pendidikan dan riset di seluruh dunia.
Dengan kemajuan ini, penting bagi para mahasiswa dan fresh graduate di Indonesia untuk mempersiapkan diri menghadapi dunia kerja yang semakin terpengaruh oleh teknologi AI. Penguasaan keterampilan di bidang analisis data, pemrograman, dan algoritma baru yang relevan akan menjadi modal berharga. Perusahaan-perusahaan di Indonesia perlu memanfaatkan kemampuan AI untuk meningkatkan efisiensi dan produktivitas, dengan harapan bahwa generasi muda dapat mengambil peran utama dalam revolusi digital ini di masa mendatang.
