AI Ungkap Ratusan Teorema Tersembunyi di Buku Catatan Gödel
Judul asli: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Mengapa Ini Penting
Membuktikan AI dapat mempercepat riset sejarah sains yang mandek selama bertahun-tahun.
AI Claude berhasil menganalisis 1.009 halaman buku catatan Kurt Gödel dalam dua hari, mengungkap ratusan teorema yang belum pernah diketahui siapapun sebelumnya.
Sejak 2017, ahli logika Finlandia Jan von Plato dari Universitas Helsinki memimpin proyek untuk menguraikan isi 16 buku catatan yang ditulis Kurt Gödel pada awal 1940-an. Material setebal 1.009 halaman ini ditulis dalam singkatan bahasa Jerman bernama Gabelsberger — sistem stenografi yang sudah usang bahkan saat Gödel menggunakannya. Selama bertahun-tahun, kemajuan pemahaman matematika atas teks tersebut sangat lambat, hanya sekitar satu halaman per minggu.
Semua berubah pada September lalu ketika von Plato meminta bantuan model AI Claude. Hanya dalam dua hari, Claude mampu memberikan ringkasan menyeluruh dari seluruh materi tersebut. Hasilnya mengejutkan: Gödel ternyata telah membuktikan ratusan teorema yang tak pernah diketahui siapapun. "Saya terkejut luar biasa," kata von Plato. "Buku-buku kerja ini tidak hanya berisi puluhan antisipasi hasil yang baru diketahui pada tahun 70-an dan 80-an, tetapi juga 14 tema logika yang belum pernah dieksplorasi. Gödel jauh melampaui zamannya."
Gödel dikenal lewat dua teorema ketidaklengkapan yang diterbitkan pada 1931, karya yang merevolusi matematika dan menginspirasi Alan Turing dalam meletakkan fondasi era digital.