Matematikawan Ini Tak Mau Berpangku Tangan Saat Model OpenAI ‘Membantah’ Konjektur Matematika Terkenal.

Matematikawan Ini Tak Mau Berpangku Tangan Saat Model OpenAI ‘Membantah’ Konjektur Matematika Terkenal.

Assalamu’alaikum Will Sawin mendapatkan surel dari OpenAI pada Jumat malam. Atau mungkin Sabtu pagi. Pokoknya, Sawin—seorang matematikawan profesional—menghabiskan akhir pekannya untuk merenungkan surel itu. Senin depannya, dia memutuskan untuk menulis paper yang intinya memajukan apa yang sudah diberikan padanya—yakni “pembuktian” AI atas masalah jarak-unit Paul Erdős, sebuah konjetur nomer satu dari tahun 1946. beberapa catatan … Baca Selengkapnya

Mahasiswa Sarjana Membantah Konjektur Ilmu Data yang Berusia 40 Tahun

Mahasiswa Sarjana Membantah Konjektur Ilmu Data yang Berusia 40 Tahun

Dalam sebuah paper tahun 1985, ilmuwan komputer Andrew Yao, yang kemudian memenangkan Penghargaan A.M. Turing, menyatakan bahwa di antara tabel hash dengan serangkaian properti tertentu, cara terbaik untuk menemukan elemen individu atau tempat kosong adalah dengan hanya melalui tempat-tempat potensial secara acak—pendekatan yang dikenal sebagai uniform probing. Dia juga menyatakan bahwa, dalam skenario terburuk, di … Baca Selengkapnya