Mereka Menghabiskan Bertahun-tahun untuk Soal Matematika. Kemudian Mereka Diambil oleh AI
Jadi musim gugur yang lalu, ketika Math, Inc. memberi tahu kelompok tersebut bahwa Gauss telah memecahkan sekitar 30 bukti yang belum selesai, Mr. Hariharan dan rekan-rekannya sangat antusias. Mereka meminta perusahaan untuk membagikan hasil keseluruhannya. Auguste Poiroux, seorang mahasiswa doktoral di École Polytechnique yang juga bekerja untuk Math, Inc., mengatakan perusahaannya telah mengalihkan fokusnya ke versi baru Gauss. Perusahaan memutuskan untuk kembali ke masalah pengepakan bola hanya beberapa bulan kemudian, menggunakannya sebagai uji kasus untuk sistem yang ditingkatkan. Yang mengejutkan, kata Mr. Poiroux, Gauss yang ditingkatkan menyelesaikan seluruh pembuktian. Yang lebih terkejut lagi adalah Dr. Viazovska, ketika Mr. “Saya segera melihat bahwa kegembiraan itu tidak dibagikan,” katanya. Dia memintanya untuk menunda memberi tahu Tuan Hariharan, yang dia kirimi email segera setelahnya. Telepon Hariharan berikutnya adalah kepada orang tuanya di Dubai. “Anda bertanya-tanya apakah semuanya sia-sia,” katanya. “Mengapa kamu menghabiskan dua tahun hidupmu untuk hal ini?” “Percayalah pada gurumu,” kata orang tuanya. “Percayalah pada prosesnya.” Malam itu, Jesse Han, kepala eksekutif Math Inc., mengirim pesan kepada Mr. Hariharan bahwa dia akan menaiki penerbangan mata merah ke Pittsburgh. Mereka bertemu di Starbucks keesokan paginya, bersama dengan penasihat Mr. Hariharan, Jeremy Avigad, yang bergegas keluar dari gym setelah “mandi tercepat dalam hidupnya,” kenangnya. Setelah Dr. Han mengusulkan agar hasilnya segera diungkapkan dan beralih ke proyek formalisasi terkait, para akademisi meledak, dengan alasan bahwa tujuan awal proyek tersebut, untuk lebih memahami bukti Dr. Viazovska, masih jauh dari selesai.
Diterbitkan : 2026-06-08 18:52:00
sumber : www.nytimes.com
