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