Kurt Gödel, ahli logika sing ngowahi matématika abad kaping 20, ninggalaké ewonan kaca karya sing ora diterbitake sing ditulis nganggo singkatan sing ora ana sing bisa diwaca. Saiki intelijen buatan wis mbantu decode - lan asil kasebut nuduhake pikiran matematika sing paling misuwur ing abad iki malah luwih produktif tinimbang sing dipercaya para sejarawan.

Miturut laporan sing diterbitake ing dina Jumuah dening The Guardian, analisis sing dibantu AI saka notebook Gödel wis mbuktekake manawa dheweke mbuktekake atusan teorema sing ora ana sing ngerti, kalebu asil sing diantisipasi pangembangan logika matematika wiwit taun 1970-an lan 1980-an. For more context on this story, see our ongoing AI news.

Arsip Cryptic Mung Enem Wong Bisa Waca

Crita kasebut diwiwiti karo ahli logika Finlandia Jan von Plato saka Universitas Helsinki, sing wis mimpin proyek wiwit 2017 kanggo mangerteni isi 16 notebook sing ditulis Gödel ing wiwitan taun 1940-an, sing dikenal minangka buku kerja. Materi kasebut nganti 1.009 kaca kanthi teks sing ditulis kanthi padhet babagan matématika lan logika, sing paling akeh ditulis ing Gabelsberger, singkatan Jerman sing wis ora bisa digunakake nalika Gödel nulis.

Von Plato marang The Guardian, dheweke mung siji saka enem wong ing donya sing bisa maca shorthand. Kemajuan ing pangerten matématika teks kasebut alon banget - udakara siji kaca seminggu - sanajan dana saka dana € 2.5 yuta (£ 2.1 yuta) saka Dewan Riset Eropa.

Claude Digest 1.009 Kaca ing Dina

Laju kasebut diganti ing September, nalika von Plato njaluk bantuan Claude, model AI sing dikembangake dening Anthropic. Ide kasebut teka ing wulan Agustus, ing konferensi ing Prancis babagan pembuktian AI lan teorema, ing ngendi para ilmuwan komputer nyaranake supaya bisa milih bantuan model kasebut kanggo ngerteni buku kerja.

Nalika bali menyang Helsinki, von Plato wiwit nuduhake Claude transkripsi buku kerjane, bebarengan karo enem buku sing sadurunge ditulis ing Gödel lan literatur ilmiah sekunder liyane. Ing sawetara dina, model wis ngasilake ringkesan lengkap kabeh materi - panjelasan 650-halaman saka buku kerja.

"Aku kaget," ujare von Plato marang The Guardian. "Buku kerja ora mung ngemot puluhan antisipasi asil sing ora dingerteni nganti taun 70-an lan 80-an, nanging uga ngemot 14 tema ing logika sing durung ditindakake. Gödel luwih maju tinimbang jamane."

Dheweke ati-ati kanggo Wigati output AI dibutuhake verifikasi: "Iku kudu kaca kontrol kanggo kaca, nanging Sejatine karya sing mokal kanggo manungsa," ngandika. "Manungsa maca siji kaca sekaligus lan kita cenderung lali bab-bab. Kita butuh setaun kanggo maca babagan 50 halaman. Kita mung ora bisa ngelingi kabeh bagean sing beda-beda."

"AI bisa nyambungake kabeh potongan ing sewu halaman," ujare. "Sampeyan bisa ndeleng kabeh tulisan Gödel minangka siji."

Nguji Klaim Gödel 1966

Salah sawijining tugas pisanan von Plato nyetel Claude nggawa bobot sajarah tartamtu. Ing taun 1966, matématikawan Amerika Paul Cohen menangaké Fields Medal kanggo mbuktekaken kamardikan saka rong pernyataan matematika sing misuwur: hipotesis kontinum lan aksioma pilihan. Gödel nanggepi hadiah Cohen kanthi ngaku dheweke wis mbuktekake asil aksioma pilihan ing taun 1940-an - nanging nalika ditekan dening kanca-kancane, dheweke ora bisa mbangun maneh bukti saka cathetane.

Von Plato nyuwun Claude kanggo nemtokake manawa buku kerja kasebut bener-bener ngemot bukti kamardikan saka aksioma pilihan. Wangsulane bali: ya, meh. "Dheweke mung selangkah," ujare von Plato marang The Guardian. "Ana definisi sing salah Gödel, nanging dheweke duwe definisi sing bener rong taun sadurunge, mula dheweke mikir yen dheweke bakal tekan sing bener."

Ing tembung liya, pratelan Gödel sing wis pirang-pirang dekade katon bener - cathetane entuk dheweke ing definisi siji sing cacat saka asil sing menangake pakurmatan paling dhuwur ing lapangan.

Napa Asil Gödel Penting kanggo AI

Proyek kasebut minangka demonstrasi AI minangka instrumen ilmiah tinimbang panggantos beasiswa. Digest dicenthang kaca kanthi kaca dening salah siji saka sawetara manungsa sing bisa maca materi sumber, lan nilai kasebut asale saka nyekel kabeh arsip bebarengan - tugas sing ngluwihi memori kerja pamaca manungsa, nanging dudu jendhela konteks model basa.

Iki uga dadi debat sing kuat babagan peran AI ing matematika. Minangka jangkoan sadurunge babagan esai Terence Tao babagan AI lan matématika, ahli matématikawan terkemuka kanthi terbuka ngrembug babagan carane bantuan mesin bakal mbentuk maneh penemuan lan bukti. Buku kerja Gödel nawakake conto awal sing konkrit: dudu AI sing mbuktekake téoréma anyar, nanging AI ngungkapake pira genius manungsa sing wis kabukten lan ora tau diterbitake.

Kanggo sejarah logika, panemuan kasebut nuduhake manawa puluhan asil sing dikreditake nganti pirang-pirang dekade mengko duwe prekursor sing durung diwaca ing arsip Princeton, lan 14 tema sing durung ditelusuri ing cathetan Gödel isih bisa ngasilake karya anyar. Kanggo riset AI, episode kasebut minangka studi kasus ing kolaborasi verifikasi-pisanan: model kasebut ngasilake sintesis sing ora bisa ditindakake dening manungsa, lan manungsa kejiret, mriksa lan kontekstualisasi saben kaca kasebut.

Gödel, sing mlayu saka Austria ing taun 1940 lan dadi kanca cedhak Albert Einstein ing Princeton's Institute for Advanced Study, tilar donya ing taun 1978. Patang puluh taun sabanjure, notebook sing ditinggalake pungkasane diwaca kanthi lengkap — kanthi bantuan saka mesin, dipandu dening salah siji saka enem wong ing Bumi sing bisa nindakake piyambak.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →