TLDR
Model AI saat ini membedakan antara pemikiran dan verifikasi. Proses pembuktian formal menghasilkan hasil yang dapat diverifikasi tanpa langkah yang tidak terverifikasi. Ketika tidak ada kebenaran objektif, pemikiran tambahan tidak selalu menghasilkan jawaban yang lebih akurat. Pomodo.id - Dalam dunia kecerdasan buatan (AI) dan matematika, sebuah perubahan signifikan sedang terjadi berkaitan dengan bagaimana bukti formal matematika dan pemikiran AI dipahami dan diterapkan. Dhyey Mavani, seorang ahli yang bekerja dalam pengembangan AI, menyoroti bahwa ada perbedaan mendasar antara pemikiran AI dan proses pembuktian matematis yang formal. Dalam konteks ini, AI sering dipasarkan seolah-olah ia memiliki kemampuan berpikir yang sebanding dengan validasi formal yang dilakukan oleh sistem seperti Lean, sebuah alat yang digunakan untuk memverifikasi langkah-langkah dalam pembuktian matematis.Sistem seperti Lean, yang digunakan oleh matematikawan Terence Tao yang menerima Medali Fields, tidak menerima pernyataan tanpa bukti. Lean memeriksa setiap langkah dan hanya menghasilkan hasil akhir yang dapat diandalkan tanpa adanya langkah yang tidak terverifikasi. Sebagai contoh, pembuktian yang dihasilkan dengan menggunakan Lean baru-baru ini ditambahkan ke Palomar, sebuah registri baru untuk matematika yang diperiksa mesin, yang memastikan akurasi lebih lanjut. Namun, saat ini pasar AI mempersepsikan "pemikiran" sebagai bentuk pemeriksaan, padahal sebenarnya, proses pembuktian matematis memerlukan ketelitian yang jauh lebih mendalam.Di sisi lain, vendor AI menawarkan fitur seperti "usaha penalaran" atau "anggaran berpikir" untuk meningkatkan kinerja model AI mereka. Misalnya, ketika OpenAI meningkatkan modelnya, mereka mencatat peningkatan skor sekitar 30 poin dalam tes matematika, tetapi mengalami penurunan sedikit dalam penilaian pengetahuan umum. Ini menunjukkan bahwa meski ada harapan bahwa lebih banyak waktu untuk "berpikir" akan menghasilkan hasil yang lebih akurat, bukti tidak selalu mendukung klaim tersebut. Dalam hal ini, ada potensi pemisahan antara apa yang dianggap sebagai pemikiran dan yang sebenarnya merupakan hasil dari proses formal yang spesifik dalam matematika.
Bukti formal matematika adalah metode untuk membuktikan kebenaran pernyataan matematis dengan cara yang sistematis dan logis. Ini melibatkan langkah-langkah yang ketat dan tidak mengandalkan asumsi yang tidak diverifikasi. Konsep ini sangat penting karena memastikan bahwa setiap langkah dalam pembuktian dapat dipertanggungjawabkan, berbeda dengan sistem AI yang mungkin terlihat "berpikir" tapi tidak selalu melakukan verifikasi yang mendalam terhadap argumen dan hasilnya.
Bagi generasi muda di Indonesia, termasuk mahasiswa dan pekerja baru, perkembangan ini berarti bahwa keahlian dalam matematika formal akan semakin dihargai di pasar kerja. Kemampuan menggunakan alat seperti Lean atau memahami proses pembuktian formal dapat menjadi nilai tambah yang signifikan tidak hanya dalam karir di bidang matematika, tetapi juga dalam pengembangan dan penerapan AI. Meskipun AI menawarkan banyak kemudahan, pemahaman mendalam tentang konsep-konsep matematis dapat membedakan mereka dari pesaing dalam pasar kerja yang semakin berfokus pada keahlian teknis.Dengan meningkatnya investasi dalam teknologi di Indonesia, seperti proyeksi pasar AI yang mencapai Rp100 triliun pada tahun 2030, ada kesempatan nyata bagi individu untuk berinvestasi dalam pendidikan dan pengembangan diri di bidang ini. Oleh karena itu, memahami perbedaan antara pemikiran AI dan bukti formal sangat penting untuk karir masa depan yang sukses di industri teknologi yang berkembang pesat.
