đ Claude membaca 1.009 halaman catatan Gödel dan mencatat 663 teorema
Sejak 2017, ahli logika Finlandia Jan von Plato telah menguraikan buku kerja Kurt Gödel dari awal 1940-an dengan kecepatan sekitar satu halaman per minggu. Pada bulan September, ia memberikan transkripsinya kepada Claude, dan dalam beberapa hari Claude menghasilkan penjelasan sepanjang 650 halaman. Dari 663 teorema yang telah dibuktikan, dibuat sketsanya, atau hanya diuraikan oleh Gödel, sekitar 400 terbukti benar dalam asisten pembuktian Coq sebagaimana tertulis, sekitar 200 memerlukan perbaikan, dan sekitar 50 ternyata salah. Claude juga menemukan bahwa Gödel hanya terpaut satu definisi yang keliru dari sebuah bukti bahwa aksioma pilihan bersifat independenâhasil yang kemudian mengantarkan Paul Cohen meraih Medali Fields.
â Seorang ahli logika yang hanya mampu membaca satu halaman per minggu menyerahkan buku-buku catatan itu kepada Claude dan mendapatkan kembali hasil pembacaan bertahun-tahun hanya dalam dua hari.
#AI
Sejak 2017, ahli logika Finlandia Jan von Plato telah menguraikan buku kerja Kurt Gödel dari awal 1940-an dengan kecepatan sekitar satu halaman per minggu. Pada bulan September, ia memberikan transkripsinya kepada Claude, dan dalam beberapa hari Claude menghasilkan penjelasan sepanjang 650 halaman. Dari 663 teorema yang telah dibuktikan, dibuat sketsanya, atau hanya diuraikan oleh Gödel, sekitar 400 terbukti benar dalam asisten pembuktian Coq sebagaimana tertulis, sekitar 200 memerlukan perbaikan, dan sekitar 50 ternyata salah. Claude juga menemukan bahwa Gödel hanya terpaut satu definisi yang keliru dari sebuah bukti bahwa aksioma pilihan bersifat independenâhasil yang kemudian mengantarkan Paul Cohen meraih Medali Fields.
â Seorang ahli logika yang hanya mampu membaca satu halaman per minggu menyerahkan buku-buku catatan itu kepada Claude dan mendapatkan kembali hasil pembacaan bertahun-tahun hanya dalam dua hari.
#AI
