Inovasi Pembelajaran Matematika, Dosen UNU Pasuruan Teliti Peran AI dalam Pembuktian Induksi

Pasuruan, LPPM UNU Pasuruan

Tim peneliti dari Universitas Nahdlatul Ulama (UNU) Pasuruan berhasil menyelesaikan riset mendalam mengenai integrasi Artificial Intelligence (AI) dalam pembelajaran tingkat perguruan tinggi. Riset ini mengeksplorasi bagaimana kecerdasan buatan membantu mahasiswa mengatasi kesulitan kognitif saat menyusun pembuktian matematika, khususnya pada materi induksi matematika dalam mata kuliah Analisis Riil.

Penelitian yang dipimpin oleh akademisi UNU Pasuruan ini mengangkat judul "Analisis Proses Pembuktian Berbantuan Artificial Intelligence dengan Prinsip Induksi Matematika pada Mata Kuliah Analisis Riil".

Tim riset ini terdiri dari kolaborasi dosen internal dan lintas instansi, yaitu:

• Ketua Pengusul: Isnawati Lujeng Lestari, S.Pd., M.Si. (UNU Pasuruan)

• Anggota Pengusul: Mayang Sari, M.Pd. (UNU Pasuruan)

• Tim Penulis & Kolaborator Artikel: Gusti Uripno (Universitas PGRI Ronggolawe Tuban), Siti Suprihatiningsih (Universitas Katolik Santo Agustinus Hippo Landak), Firda Hariyanti (UNU Pasuruan), serta Ebenezer Bonyah (Akenten Appiah Menka University of Skills Training and Entrepreneurial Development, Ghana).

Dalam pelaksanaannya, riset ini berhasil memperoleh pendanaan hibah skema Penelitian Dosen Pemula (PDP) dari Direktorat Riset, Teknologi, dan Pengabdian kepada Masyarakat (DRTPM) Kementerian Pendidikan Tinggi, Sains, dan Teknologi dengan total anggaran sebesar Rp39.340.000,00.

Hasil dari penelitian ini telah resmi dipublikasikan pada jurnal ilmiah nasional terakreditasi Sinta 3, yaitu Journal of Mathematical Pedagogy (JOMP) Volume 6 Nomor 2, dengan judul artikel "Analysis of Artificial Intelligence Assisted Proof Process Through Principle of Mathematical Induction in Real Analysis Course".

Ketua Tim Peneliti, Isnawati Lujeng Lestari, menjelaskan bahwa pemanfaatan AI dalam matematika sering kali dipandang pro-kontra. Namun, melalui kerangka pemecahan masalah Polya yang dipadukan dengan aspek pembuktian (construction, evaluation, dan revision), riset ini membuktikan bahwa AI dapat berfungsi efektif sebagai sarana scaffolding (bantuan bertahap) untuk melatih kemandirian berpikir dan verifikasi mandiri mahasiswa.

Capaian riset ini diharapkan dapat melahirkan modul serta instrumen pembelajaran baru berbasis AI yang mampu meningkatkan keterampilan pembuktian matematika mahasiswa secara terstruktur di masa mendatang.

Penulis: Makhfud Syawaludin