Penerima Medali Fields baru bergabung dengan OpenAI untuk bekerja pada Keamanan AI

Baru saja menerima penghargaan tertinggi di bidang matematika, lalu langsung mengumumkan: Saya akan pergi ke OpenAI.

Jacob Tsimerman, orang yang berdiri di atas panggung bersama Wang Hong dan Deng Yu, langsung menunjukkan kepada semua orang setelah turun dari panggung:

Saat puncak karier seorang matematikawan bisa seberapa dramatis.

Alasan menggunakan kata "drama" terutama karena orang ini memiliki terlalu banyak kontras:

Apakah kamu percaya, seseorang yang percaya bahwa "AI akan menyebabkan kepunahan manusia" sekarang bergabung dengan perusahaan AI?

Dia bahkan menulis sebuah makalah yang secara khusus membuat taksonomi untuk "bagaimana AI memusnahkan umat manusia".

Akun X-nya hanya pernah memposting satu postingan, dengan topik tentang bagaimana matematikawan akan kehilangan pekerjaan.

Namun sekarang, ia yang pertama kehilangan profesi sebagai matematikawan.

Dia juga memiliki seorang murid yang tiga hari lalu menggunakan Claude Fable 5 untuk memecahkan teorema Jacobi yang belum terpecahkan selama 87 tahun dalam semalam, dan kini berada di Anthropic.

Sekarang, guru telah menandatangani OpenAI. Guru dan murid, masing-masing satu perusahaan.

Masih belum selesai di situ, legenda pribadi Jacob sendiri juga banyak sekali...

Jacob, lahir pada tahun 1988 di Kazan, Rusia, lalu berpindah bersama keluarganya ke Israel, kemudian menetap di Kanada.

Mewakili Kanada di IMO selama dua tahun berturut-turut pada tahun 2003 dan 2004, meraih dua medali emas, dengan medali emas tahun 2004 diraih dengan skor sempurna.

Masuk Universitas Toronto untuk belajar matematika pada usia 16 tahun, menyelesaikan sarjana dalam dua tahun.

Mendapatkan gelar doktor di Princeton pada tahun 2011, dengan pembimbing Peter Sarnak. Setelah mengikuti program Society of Fellows di Harvard, kembali mengajar di Universitas Toronto dan menjadi profesor penuh termuda dalam sejarah departemen matematika universitas tersebut.

Penghargaan ini menghargai karyanya dalam membuktikan dugaan André-Oort, masalah inti di bidang geometri aritmetika yang telah menggantung selama hampir 40 tahun.

Dia juga menjadi matematikawan pertama yang memenangkan Medali Fields selama masa jabatannya di universitas Kanada.

Sebagai catatan tambahan, nilai dari Penghargaan Fields kali ini sendiri cukup menakutkan: dugaan Kakeya, yang diusulkan sejak 1917 dan belum terpecahkan; bagian kinetik dari Masalah Keenam Hilbert, yang diajukan pada 1900; ditambah lagi dengan Andŕe-Oort.

Tiga kasus misteri abad ini selesai dalam satu siklus empat tahun yang sama.

Artinya, Jacob adalah orang yang menang dari lawan-lawan terkuat di tahun matematika yang besar.

IMO sempurna, profesor termuda, penyelesaian kasus yang menggantung selama 40 tahun.

Pemilik riwayat ini, menurut naskah, seharusnya berdiri di atas panggung untuk mengucapkan terima kasih kepada para guru dan memandang masa depan disiplin ilmu.

What's the result?

Pada tanggal 23 Juli waktu setempat, Philadelphia, pembukaan Kongres Matematikawan Internasional (ICM).

Di konferensi pers, seseorang bertanya tentang rencana masa depan, dan pemenang baru ini langsung mengungkapkan: segera bergabung dengan OpenAI, dengan fokus pada keamanan AI.

Saya percaya dunia sedang berubah. Pekerjaan matematika yang kita kenal sekarang... saya tidak berpikir akan tetap ada dalam bentuknya saat ini.

Satu kalimat, mengubah upacara penghargaan menjadi konferensi transfer.

Respons dari OpenAI secepat merebut edisi terbatas:

Peneliti keamanan dan profesor Harvard, Boaz Barak, tweet: Menantikan dan "merasa sangat rendah hati" menyambut Jacob bergabung untuk membahas keamanan AI.

Sebastien Bubeck, mantan wakil presiden Microsoft dan kini di OpenAI, juga ikut bergabung: Selamat bergabung, ini akan sangat menarik.

Saat orang-orang terkejut atau terkejut atas hal ini, mereka mulai menggali penelitian dan pernyataannya selama bertahun-tahun.

Ternyata, semuanya memiliki jejaknya sendiri.

Buka halaman utama akun X Jacob, yang menunjukkan ia bergabung pada tahun 2014.

Namun, setelah lebih dari sepuluh tahun, hanya ada satu postingan di atas, sehingga postingan ini menjadi kunci utama bagi kita untuk mengenalnya.

Isi postingan adalah tanggapannya terhadap matematikawan Daniel Litt, membahas topik yang sangat sederhana:

Seberapa besar peran pemecahan masalah dalam penelitian matematika.

Jawabannya adalah: hampir semuanya.

Kemudian dia menceritakan sesuatu yang cukup "jujur dari hati". Dia mengatakan bahwa hampir semua waktunya dihabiskan untuk memecahkan masalah, dan selama ada yang menyelesaikan bentuk umum dari dugaan Zilber-Pink...

Seluruh bidang penelitian utama saya hilang.

Seluruh komunitas akademik, matematikawan, postdoc, dan mahasiswa pascasarjana, semuanya berfokus pada satu konjektur ini: memecah kasus khusus, menguji strategi, mencari analogi.

Dan pada hari teori ini terpecahkan, semua orang harus mencari masalah baru.

Dia menggambarkan proses tersebut sebagai "membingungkan, menghabiskan banyak energi, tidak sederhana, dan tidak selalu menyenangkan".

Dulu, "orang yang memecahkan dugaan" hanya bisa menjadi matematikawan lain, peristiwa yang terjadi sekali dalam seratus tahun.

Sekarang, mungkin sebuah model, dan bisa datang kapan saja.

Seberapa cepat sebenarnya? Dia memberikan jadwal dalam wawancara di AMS Notices (Bulletin of the American Mathematical Society) tahun ini:

Lima tahun? Saya rasa dalam dua tahun, ia sudah bisa lebih unggul daripada kita dalam membuktikan teorema. Saat itu, kita hanya perlu berkata: Ini adalah proposisi, silakan buktikan.

Di postingan itu, ia juga melakukan eksperimen pemikiran: bayangkan Anda memiliki mesin orakel AI, di mana setiap pernyataan matematis yang dimasukkan akan langsung terbukti benar atau salah.

Apa yang akan menjadi kehidupan sehari-hari para pembangun teori?

Anda mengajukan sebuah definisi, lalu langsung bertanya seribu pertanyaan tentangnya. Dari “apakah sifat-sifat dasar ini berlaku”, hingga “oh iya, dugaan mendalam ini benarkah?” Jawaban terus kembali, dan Anda terus memperbaiki definisi tersebut. Seluruh bidang penelitian bisa diciptakan dan diakhiri dalam beberapa hari.

Dia memberikan penilaian yang tenang namun berat untuk adegan ini: ini adalah dua hal yang sangat, sangat berbeda dari matematika modern.

Yang menarik, dia sendiri sudah menjalani versi rendah dari hari-hari semacam itu.

Dalam wawancara yang sama, ia mengungkapkan bahwa AI telah meningkatkan efisiensi penelitiannya dua kali lipat, dan pada tahun 2025 ia mengunggah lima makalah matematika ke arXiv. Alur kerja sehari-harinya adalah menggunakan ChatGPT dan Claude untuk memahami batasan masalah, mencari literatur referensi, dan meminta model membuktikan lemma:

Bukti yang diberikannya biasanya salah. Tetapi biasanya ia bisa mengungkap metode arah yang benar, membantu saya menyelesaikan 80%, dan sisanya saya selesaikan sendiri.

Dengan kata lain, mesin orakel belum tiba, tetapi contohnya digunakannya setiap hari.

Karena menggunakan secara mendalam, sikapnya terhadap rekan seprofesinya sangat tidak ramah:

Di dunia matematika, ada banyak cope (menghibur diri sendiri); orang-orang melihat bahwa AI sekarang belum sehebat matematikawan, lalu menyimpulkan bahwa ia akan selalu kalah dari matematikawan.

Dalam pendengaran rekan sejawat, ucapan ini mungkin sudah cukup radikal.

Namun bagi Jacob, "AI akan melebihi matematikawan dalam dua tahun" hanyalah pernyataan paling moderat dari seluruh penilaiannya.

Penilaian sebenarnya adalah:

Saya percaya AI memiliki potensi besar yang dapat menyebabkan kepunahan manusia.

Ini bukan omong kosong. Pada tahun 2025, artikel ke-6 yang ia unggah ke arXiv sama sekali bukan matematika, berjudul "Klasifikasi Masa Depan Ekstinksi yang Melibatkan AI", dengan rekan penulis adalah teman lama yang meneliti keamanan AI, Andrew Critch.

Ringkasan ditulis secara langsung: Artikel ini mengklasifikasikan dan memberikan contoh peristiwa kepunahan yang disebabkan oleh AI, yaitu skenario di mana seluruh atau hampir seluruh manusia hilang. Peristiwa-peristiwa ini tidak tak terhindarkan, melainkan kemungkinan yang dapat kita usahakan untuk hindari.

Seorang matematikawan setara Medali Fields, dengan ketelitian seorang penulis makalah, membangun taksonomi untuk "bagaimana AI memusnahkan umat manusia".

Kalau begitu takut, mengapa masih bergabung dengan perusahaan AI?

Dalam wawancara itu, dia sebenarnya juga menjawab: dia mendukung penangguhan AI, tetapi tidak percaya hal itu akan terjadi. Karena tidak bisa dihentikan, lebih baik masuk untuk memahaminya dan berpartisipasi dalam membentuknya, daripada "kita mungkin akan tertinggal".

Pergi ke OpenAI, pergi ke departemen keamanan, logikanya masuk akal.

Dan di akhir postingan, ia mengatakan bahwa ada yang mengklaim melakukan matematika hanya demi mengejar kebenaran, dan ada yang menjadikan ini sebagai satu-satunya motivasi yang mulia.

Dia tidak setuju.

Saya melakukan matematika terutama karena saya menikmatinya dan saya pandai di dalamnya. Matematikawan juga manusia, yang membutuhkan uang, tempat tinggal, makanan, cinta, olahraga, serta berbagai bentuk makna. Jika kesenangan dalam memecahkan masalah hilang, banyak orang mungkin tidak lagi ingin melanjutkan matematika, meskipun ada jalan lain yang tersedia.

Melalui kata-kata ini, kita juga tidak sulit memahami alasan di balik beberapa pilihan tersebut.

Pergerakan Jacob membuat hal lain menjadi layak untuk dibahas:

Di mana keempat pemenang saat ini, dan siapa lagi yang mungkin menjadi perhatian perusahaan besar?

Sebelum perdagangan, gunakan terlebih dahulu kerangka dari postingan Jacob sendiri.

Dia membagi pekerjaan matematika menjadi dua kategori: pemecahan masalah (problem-solving) dan pembangunan teori (theory-building).

Sementara itu, yang paling dibutuhkan oleh laboratorium AI saat ini justru orang-orang dari jenis pertama:

Memberikan pernyataan, menilai kebenarannya, dan mencari bukti atau contoh penyangkal, ini adalah kemampuan yang paling tepat untuk melatih dan mengevaluasi model penalaran.

Dengan kata lain, semakin mirip seorang matematikawan dengan "mesin pemecah soal", semakin tinggi valuasi pasar transfernya.

Telusuri daftar ini sesuai standar ini.

Wang Hong saat ini adalah profesor di New York University dan juga bekerja di Institut des Hautes Études Scientifiques (IHES), Prancis.

Bukti dugaan Kakeya sepanjang 127 halaman yang ia dan rekan kerjanya, Joshua Zahl, hasilkan, disebut sebagai "satu abad sekali", dan menjadikannya wanita ketiga dalam sejarah 90 tahun Penghargaan Fields.

Sebelum memenangkan penghargaan, ia telah memenangkan serangkaian penghargaan termasuk Penghargaan Salem, Penghargaan Ostrowski, Penghargaan Penelitian Clay, dan Penghargaan Horizon Baru, menjadikannya yang paling banyak menerima perhatian akademis di antara keempatnya.

Analisis harmonis semacam ini tepat berada pada arah yang paling dibutuhkan dalam penelitian inferensi AI.

Gaya penyelesaian masalah seperti Kakeya, dengan estimasi ketat, teknik kombinatorial, dan pendekatan bertahap, hampir seperti versi tingkat tinggi dari kumpulan evaluasi model inferensi.

Ditambah dengan volume publik yang teratas, kemungkinan besar dia berada di baris pertama daftar headhunter.

Satu-satunya sinyal terbalik adalah:

Dia baru saja mendapatkan posisi di IHES di dunia akademik dan berada dalam periode jendela di mana pengembalian akademik paling menguntungkan, sehingga dorongan untuk secara aktif meninggalkannya kecil.

Deng Yu, profesor Universitas Chicago, memenangkan penghargaan atas pekerjaannya yang menghubungkan deskripsi mikroskopis dan makroskopis gas, yaitu bagian kinetik dari Masalah Keenam Hilbert.

Setelah secara diam-diam diberitahu memenangkan hadiah pada Januari, ia pergi berjalan-jalan selama beberapa hari di tepi Danau Michigan untuk menenangkan diri, lalu kembali ke kantor untuk melanjutkan pekerjaannya, "anggap saja tidak ada yang terjadi."

Detail ini pada dasarnya menjelaskan semuanya: orang yang bisa "berpura-pura tidak terjadi apa-apa" meski sudah mendapatkan hadiah, kemungkinan besar juga akan bersikap seperti itu terhadap tawaran dari perusahaan besar.

Dan arahnya lebih ke matematika fisika dan PDE, agak jauh dari medan utama model inferensi saat ini, minat kedua belah pihak pun lemah.

Sepertinya yang paling tidak mungkin berpindah di antara keempatnya.

John Pardon, profesor di Pusat Simons untuk Geometri dan Fisika, Universitas Stony Brook, spesialisasi topologi simplektik.

Yang termuda di antara keempat legenda itu, menyelesaikan masalah yang telah menggantung selama 30 tahun selama masa sarjananya.

Menurut klasifikasi Jacob, ia berasal dari kelompok "pemecah masalah remaja" yang biasa, profil semacam ini membuat laboratorium terpikat.

Namun, topologi辛 adalah wilayah geometris abstrak yang paling sulit dipecahkan oleh model saat ini; dalam jangka pendek, model tidak bisa membantunya, dan ia juga tidak perlu membantu model.

Variasinya adalah dia masih muda; jika dua tahun lagi AI benar-benar mulai menyentuh geometri inti sebagaimana diramalkan Jacob, dia akan menjadi orang pertama yang merasakan dampaknya sekaligus paling memiliki modal untuk berganti karier.

Kesimpulannya, satu sudah pergi, satu tidak kekurangan, satu tidak mau, satu tidak terburu-buru.

Tetapi dengan tren saat ini di mana laboratorium AI bersaing merekrut matematikawan, daftar ini kemungkinan besar tidak akan tetap stabil untuk waktu yang lama.

Jangan lupa, perlombaan senjata Google DeepMind, OpenAI, dan Anthropic dalam merekrut tenaga matematika selama setahun terakhir tak kalah sengit daripada merekrut insinyur.

Hingga kini, keempat pemenang telah tampil.

Namun cerita ini masih memiliki satu putaran terakhir.

Mundurkan waktu tiga hari sebelum acara penghargaan.

Pada malam final Piala Dunia, matematikawan Levent Alpöge memposting di X: Konjektur Jacobi adalah salah.

Dugaan yang diajukan pada tahun 1939 ini tetap belum terpecahkan selama 87 tahun dan pernah masuk dalam daftar masalah matematika terkenal Smale untuk abad ke-21.

Sebaliknya, contoh yang diposting oleh Alpöge hanya memiliki 216 karakter, yang dapat diverifikasi secara manual oleh siapa pun yang ahli matematika.

Yang membantunya menemukan jarum di tumpukan jerami adalah Claude Fable 5 yang dirilis Anthropic bulan lalu.

Dia secara khusus mengucapkan terima kasih kepada 'fable' karena tetap bekerja lembur selama final Piala Dunia.

Contoh negatif segera diverifikasi secara independen.

Penerima Medali Fields Timothy Gowers menilai, ini adalah pertama kalinya ia melihat LLM menyelesaikan masalah "terkenal" di luar bidangnya.

Sebuah model, semalam saja menyelesaikan kasus yang menggantung sejak tahun 1987.

Masa depan yang digambarkan Jacob di postingan itu, seperti ini.

Ini yang penting.

Alpöge ini, lulusan Harvard Society of Fellows, kini berperan sebagai matematikawan di Anthropic.

Sementara itu, dosen pembimbing tesisnya saat ia menempuh sarjana di Harvard adalah Jacob Tsimerman, yang pada waktu itu juga menjadi Junior Fellow di Harvard.

Guru memprediksi dalam satu-satunya postingannya bahwa AI akan mengambil alih pemecahan masalah; siswa minggu lalu menggunakan AI semalam untuk membantah dugaan berusia seratus tahun, mewujudkan prediksi guru lebih awal.

Tiga hari kemudian, guru tersebut menerima Medali Fields dan mengumumkan resmi bergabung dengan OpenAI.

Dan siswa, di Anthropic.

Dua orang guru dan murid, masing-masing satu keluarga.

Tautan referensi:

[1]https://x.com/chi_t_williams/status/2080339331139424727

[2]https://x.com/torgeirlysen/status/2080393136962957471?s=20

[3]https://x.com/proofchecker/status/2080386577595822537?s=20

[4]https://x.com/Jacob_Tsimerman

[5]https://www.ams.org/journals/notices/202607/noti3372/noti3372.html

Artikel ini berasal dari akun WeChat "Quantum Bit", penulis: Yi Shui