AI dalam Matematika: AI Bekerja untuk Manusia, dan pada Manusia

Pada Mei 2026, OpenAI menerbitkan contoh penyangkal terhadap "Konjektur Jarak Satuan", membantah sebuah konjektur dari teori graf geometrik yang telah terbuka sejak 1946. Ini menyusul solusi berbantuan AI lainnya untuk masalah-masalah yang telah lama terbuka, menandai titik balik. Matematikawan seperti Abhishek Saha kini menggunakan model AI untuk menangani pekerjaan rutin, menggambarkan peran mereka sebagai konduktor, bukan seluruh orkestra. Beberapa, seperti Trefor Bazett, melihat potensi untuk era keemasan baru, merujuk pada makalah Carnegie Mellon yang memecahkan masalah teori Ramsey menggunakan pemecah SAT, kode yang dihasilkan LLM, dan verifikasi bukti formal. Timothy Gowers, yang memprediksi era ini pada tahun 2000, memiliki perasaan campur aduk, setelah mengalami AI memecahkan masalah penelitiannya sendiri. Ia khawatir akan hancurnya budaya matematika jika manusia berhenti membangun keahlian. Deklarasi Leiden tentang AI dan Matematika, yang ditandatangani oleh lebih dari 3000 matematikawan, bertujuan untuk menetapkan pedoman. Epoch AI melaporkan kemajuan tetapi mencatat bahwa kategori tolok ukur tersulit masih belum terpecahkan. Terence Tao membandingkan situasi ini dengan krisis fondasional awal abad ke-20, melihatnya sebagai peluang untuk memperkuat matematika, sementara esai Kirwin Hampshire "Malam Kelam Matematika" menawarkan pandangan yang lebih pesimistis, menyarankan bahwa penghiburan adalah penipuan diri sendiri.