Penerima Medali Fields yang baharu menyertai OpenAI untuk bekerja dalam keselamatan AI

Baru menerima penghargaan tertinggi dalam dunia matematik, kemudian mengumumkan: Saya akan pergi ke OpenAI.

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

Momen puncak karier seorang ahli matematik boleh begitu dramatik.

Kata "drama" digunakan kerana orang ini mempunyai terlalu banyak perbezaan:

Patutkah kamu percaya, seseorang yang percaya bahawa "AI akan menyebabkan kepunahan manusia" kini telah menyertai sebuah syarikat AI.

Dia bahkan menulis satu kertas kerja yang secara khusus mengklasifikasikan "bagaimana AI memusnahkan umat manusia".

Akaun X-nya hanya memuat satu pos, bertajuk bagaimana ahli matematik akan kehilangan pekerjaan.

Namun sekarang, dia kehilangan pekerjaan pertama sebagai ahli matematik.

Dia juga seorang pelajar, tiga hari yang lalu menggunakan Claude Fable 5 untuk menyelesaikan teka-teki lama sejak tahun 1987, konjektur Jacobi, dalam semalam, dan kini berada di Anthropic.

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

Tidak berhenti di situ, legenda Jacob sendiri pun penuh dengan kisah-kisah menarik...

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

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

Memasuki Universiti Toronto pada usia 16 tahun untuk belajar matematik, menyelesaikan ijazah sarjana dalam dua tahun.

Mendapat gelar doktor pada tahun 2011 di Princeton, dengan penasihat Peter Sarnak. Selepas itu, mengikuti program Society of Fellows di Harvard sebelum kembali mengajar di Universiti Toronto dan menjadi profesor penuh termuda dalam sejarah jabatan matematik universiti tersebut.

Penghargaan ini menghargai kerjanya dalam membuktikan konjektur André-Oort, satu masalah utama dalam geometri aritmetik yang telah tertunda selama hampir 40 tahun.

Dia juga menjadi ahli matematik pertama yang memenangi Anugerah Fields semasa berkhidmat di universiti Kanada.

Secara sampingan, nilai kehormatan Anugerah Fields kali ini sendiri agak menakutkan: konjektur Kakeya, ditinggalkan sejak 1917; bahagian kinetik Masalah Keenam Hilbert, dicadangkan pada 1900; ditambah lagi dengan Andre-Oort.

Tiga kes misteri abad berakhir dalam satu kitaran empat tahun yang sama.

In other words, Jacob is the one who emerged victorious in a "big year" of mathematics, overcoming the strongest cohort of opponents.

IMO sempurna, profesor termuda, penyelesaian kes yang tertunda selama 40 tahun.

Pemilik resume seperti ini seharusnya berdiri di atas pentas untuk mengucapkan terima kasih kepada guru-guru dan melihat ke depan masa depan disiplin ilmu tersebut.

What's the result?

Pada 23 Julai, waktu tempatan, Philadelphia, pembukaan Kongres Matematik Antarabangsa (ICM).

Di sidang media, apabila ditanya mengenai rancangan masa depan, pemenang baharu itu secara terus terang mengatakan: akan segera bekerja di OpenAI, dengan fokus pada keselamatan AI.

Saya rasa dunia sedang berubah. Pekerjaan matematik yang kita kenal sekarang... saya tidak percaya ia akan kekal dalam bentuknya yang sekarang.

Satu ucapan menjadikan majlis penganugerahan sebagai majlis pengumuman perpindahan.

Kelajuan tindakan dari OpenAI ibarat merebut barang edisi terhad:

Penyelidik keselamatan dan profesor Harvard, Boaz Barak, tweet: Menantikan dan menyambut Jacob dengan rasa rendah hati yang mendalam untuk bekerja sama dalam keselamatan AI.

Sebastien Bubeck, bekas timbalan presiden Microsoft dan kini di OpenAI, juga menyusul: Selamat datang ke pasukan, seterusnya akan sangat menarik.

Sementara orang-orang terkejut atau terkejut dengan ini, mereka mulai menggali penyelidikan dan pernyataannya selama bertahun-tahun.

Ternyata, semuanya ada petunjuknya.

Buka laman utama akaun X Jacob, di mana ia menunjukkan beliau menyertai pada tahun 2014.

Namun, selepas lebih sepuluh tahun, hanya ada satu pos di atasnya, jadi pos ini menjadi kunci utama kita untuk mengenalinya.

Kandungan pos itu adalah tindak balasnya terhadap seorang ahli matematik, Daniel Litt, yang membincangkan isu yang sangat asas:

Sejauh mana penyelesaian masalah (problem-solving) memainkan peranan dalam penyelidikan matematik.

Jawapannya adalah: hampir keseluruhan.

Kemudian dia menceritakan satu perkara yang sangat 'mengeluarkan perasaan hati'. Dia berkata, hampir semua masanya dihabiskan untuk menyelesaikan masalah, dan sekiranya seseorang menyelesaikan bentuk umum konjektur Zilber-Pink...

Seluruh bidang penyelidikan utama saya telah hilang.

Seluruh komuniti akademik, ahli matematik, postdoc, dan pelajar siswazah, semuanya berpusat pada konjektur ini: menguraikan kes khusus, mencuba strategi, mencari analogi.

Pada hari tekaan ini diselesaikan, semua orang perlu mencari masalah baru.

He described the process as "confusing, energy-draining, neither simple nor always fun."

Dahulu, "orang yang menyelesaikan konjektur" hanya boleh menjadi seorang ahli matematik lain, perkara yang berlaku sekali dalam seratus tahun.

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

Seberapa pantas sebenarnya? Beliau telah memberikan jadual dalam temu bual di AMS Notices tahun ini:

Lima tahun? Saya rasa dalam dua tahun, ia mungkin sudah lebih unggul daripada kita dalam membuktikan teorem. Pada masa itu, kita hanya perlu berkata: Ini adalah proposisi, sila buktikan.

Dalam post itu, dia juga melakukan eksperimen pemikiran: andaikan anda mempunyai mesin orakel AI, mana-mana proposisi matematik yang dimasukkan ke dalamnya akan segera dinyatakan benar atau salah.

Apa yang akan menjadi rutin harian pembina teori itu?

Anda mengemukakan satu definisi, kemudian segera bertanya seribu soal tentangnya. Dari “sifat-sifat asas ini berlaku tidak?” hingga “oh ya, dugaan mendalam ini benarkah?” Jawapan terus balik, dan anda terus memperbaiki definisi tersebut. Seluruh bidang penyelidikan boleh dicipta dan diakhiri dalam beberapa hari.

Dia memberikan penilaian yang tenang namun berat terhadap skenario ini: ini adalah dua hal yang sangat, sangat berbeza dengan matematik moden.

Yang menariknya, dia sendiri sudah menjalani versi rendah dari hari-hari seperti ini.

Dalam wawancara yang sama, beliau mengungkapkan bahawa AI telah meningkatkan kecekapan penyelidikannya sebanyak dua kali ganda, dan pada tahun 2025, beliau menghantar lima kertas matematik ke arXiv. Aliran kerja harian beliau ialah menggunakan ChatGPT dan Claude untuk memahami batasan masalah, mencari rujukan, dan meminta model membuktikan lema:

Bukti yang diberikannya biasanya salah. Tetapi ia biasanya mampu mengeluarkan kaedah yang betul, membantu saya menyelesaikan 80%, dan selebihnya saya sendiri yang menamatkan.

Dengan kata lain, mesin oracle belum sampai, tetapi contohnya digunakannya setiap hari.

Juster kerana penggunaannya yang mendalam, sikapnya terhadap rakan sekerja sangat tidak mesra:

Terdapat banyak cope dalam dunia matematik; orang-orang memperhatikan bahawa AI sekarang masih kalah daripada ahli matematik, lalu menyimpulkan bahawa ia akan selalu kalah daripada ahli matematik.

Dalam pendengaran rakan sekerja, perkataan ini mungkin sudah cukup radikal.

Tetapi bagi Jacob, "AI akan melebihi ahli matematik dalam dua tahun" hanyalah yang paling moderat di antara semua penilaian beliau.

Penilaian sebenarnya ialah:

Saya percaya AI mempunyai potensi besar yang boleh menyebabkan kepunahan manusia.

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

Ringkasan ditulis secara langsung: Artikel ini mengklasifikasikan dan memberikan contoh peristiwa kepunahan yang disebabkan oleh AI, iaitu skenario di mana semua atau hampir semua manusia dimusnahkan. Peristiwa-peristiwa ini bukanlah takdir yang tak terelakkan, tetapi kemungkinan yang boleh kita usahakan untuk elakkan.

Seorang ahli matematik peringkat Fields, dengan ketelitian seorang penulis kertas ilmiah, membina taksonomi bagi “Bagaimana AI memusnahkan umat manusia”.

Kalau begitu takut, mengapa masih menyertai syarikat AI?

Dalam temu bual itu, beliau juga menjawab: beliau menyokong penangguhan AI, tetapi tidak percaya ia akan berlaku. Oleh kerana tidak dapat dihalang, lebih baik masuk ke dalamnya untuk memahami dan terlibat dalam membentuknya, jika tidak, "kita mungkin akan tertinggal".

Pergi ke OpenAI, pergi ke bahagian keselamatan, logiknya menjadi masuk akal.

Dan di akhir pos, dia mengatakan ada yang menyatakan melakukan matematik semata-mata untuk mengejar kebenaran, dan ada yang menjadikan ini sebagai satu-satunya motivasi yang mulia.

Dia tidak bersetuju.

Saya melakukan matematik terutamanya kerana saya menikmatinya dan saya mahir dalamnya. Ahli matematik juga manusia, yang memerlukan wang, tempat tinggal, makanan, cinta, senaman, serta bermacam-macam bentuk makna. Jika keseronokan menyelesaikan masalah hilang, ramai mungkin tidak ingin lagi melakukan matematik, walaupun masih ada jalan lain.

Melalui perkataan ini, kita juga tidak sukar untuk melihat sebab-sebab di sebalik pilihan-pilihan tersebut.

Pergerakan Jacob membuat perkara lain menjadi patut diteliti:

Di mana keempat-empat pemenang tahun ini sekarang, dan siapa lagi yang mungkin menjadi perhatian syarikat besar?

Sebelum pasaran, gunakan kerangka daripada post Jacob sendiri.

Dia membahagikan kerja matematik kepada dua kategori: penyelesaian masalah (problem-solving) dan pembinaan teori (theory-building).

Dan yang paling dibutuhkan oleh laboratorium AI saat ini ialah jenis orang yang pertama:

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

Dengan kata lain, semakin seorang ahli matematik menyerupai "mesin penyelesaian masalah", semakin tinggi nilai penilaian pasaran perpindahan mereka.

Semak senarai ini mengikut piawaian ini.

Wang Hong kini merupakan profesor di Universiti New York dan juga bekerja di Institut Perundingan Sains Tinggi Perancis (IHES).

Bukti Kakeya conjecture sepanjang 127 muka surat yang dikeluarkan bersama rakan kongsi Joshua Zahl dipanggil「sekali dalam seratus tahun», dan menjadikannya wanita ketiga dalam sejarah 90 tahun Anugerah Fields.

Sebelum memenangi anugerah ini, beliau telah memenangi panjang senarai anugerah termasuk Anugerah Salem, Anugerah Ostrowski, Anugerah Penyelidikan Clay, dan Anugerah Visi Baru, menjadikannya individu dengan eksposur akademik tertinggi di kalangan keempat-empatnya.

Analisis harmoni seperti ini tepat berada pada arah yang paling dibutuhkan dalam penyelidikan penalaran AI.

Gaya penyelesaian masalah seperti Kakeya, dengan anggaran ketat, teknik kombinatorial, dan pendekatan bertahap, hampir seperti versi tinggi daripada set penilaian model penalaran.

Dengan tambahan suara awam yang terkemuka, dia kemungkinan besar berada di baris pertama senarai perekrut.

Satu-satunya isyarat songsang ialah:

Dia baru sahaja mendapat kedudukan di IHES dalam dunia akademik, dan sedang berada dalam jendela masa di mana pulangan akademik paling tinggi, jadi dorongan untuk meninggalkannya tidak besar.

Deng Yu, profesor Universiti Chicago, telah memenangi anugerah atas kerjanya yang menghubungkan perihalan mikroskopik dan makroskopik gas, iaitu bahagian kinetik kepada Masalah Keenam Hilbert.

Setelah diberitahu secara diam-diam bahawa dia memenangi hadiah pada Januari, dia pergi berjalan-jalan di tepi Tasik Michigan selama beberapa hari untuk menenangkan diri, kemudian kembali ke pejabat untuk terus bekerja, "anggap saja tiada yang berlaku".

Perincian ini hampir menjelaskan semuanya: orang yang boleh “berpura-pura tiada berlaku” walaupun sudah memenangi hadiah, kemungkinan besar juga akan berperilaku sama terhadap tawaran daripada syarikat besar.

Dan arahnya lebih kepada matematik fizik dan PDE, agak jauh dari medan utama model penalaran semasa, dengan minat berdua pihak yang lemah.

Kelihatan seperti yang paling tidak mungkin berpindah di kalangan empat orang tersebut.

John Pardon, profesor di Pusat Geometri dan Fizik Simons, Universiti Stony Brook, bidang topologi simpektik.

Legenda termuda di kalangan empat orang itu, menyelesaikan masalah yang telah tergantung selama 30 tahun semasa sarjana.

Menurut klasifikasi Jacob, beliau berasal dari kategori "pemecah masalah remaja" yang typikal, resume semacam ini membuat laboratorium terpukau.

Namun, topologi辛 adalah wilayah geometri abstrak yang paling sukar dipahami oleh model saat ini; dalam jangka pendek, model tidak dapat membantunya, dan dia juga tidak perlu membantu model.

Perubahan terletak pada usianya yang masih muda; jika dua tahun kemudian AI benar-benar mulai menyentuh geometri keras seperti yang diramalkan Jacob, dia akan menjadi orang pertama yang merasakan kesan tersebut, serta paling memiliki modal untuk berpindah kerjaya.

Secara ringkas, satu sudah pergi, satu tidak kurang, satu tidak mahu, satu tidak tergesa-gesa.

Tetapi dengan semangat makmal AI yang bersaing untuk merekrut ahli matematik sekarang, senarai ini kemungkinan besar tidak akan kekal stabil untuk masa yang lama.

Jangan lupa, perlumbaan senjata Google DeepMind, OpenAI, dan Anthropic dalam merekrut bakat matematik dalam setahun terakhir tidak kalah sengitnya dengan perekrutan jurutera.

Sekarang, keempat-empat pemenang telah muncul.

Namun, cerita ini masih mempunyai satu putaran akhir.

Putar masa semula tiga hari sebelum majlis penganugerahan.

Pada malam final Piala Dunia, ahli matematik Levent Alpöge memposting di X: Konjektur Jacobian adalah salah.

Konjektur yang dicadangkan pada tahun 1939 ini belum terselesaikan selama 87 tahun dan pernah muncul dalam senarai masalah matematik terkenal Smale untuk abad ke-21.

Contoh sebaliknya yang dipaparkan oleh Alpöge hanya mempunyai 216 aksara, dan mana-mana ahli matematik boleh mengesahkannya secara manual.

Yang membantunya mencari jarum itu dari tumpukan jerami ialah Claude Fable 5 yang dikeluarkan oleh Anthropic bulan lepas.

Dia secara khusus mengucapkan terima kasih kepada "fable" kerana bersungguh-sungguh bekerja lewat waktu semasa perlawanan akhir Piala Dunia.

Contoh sebaliknya segera disahkan secara bebas.

Penerima Field Medal, Timothy Gowers, menilai ini merupakan kali pertama dia melihat LLM menyelesaikan masalah yang "terkenal" di luar bidangnya.

Sebuah model, semalaman saja menyelesaikan kes yang belum terpecahkan sejak 1987.

Masa depan yang digambarkan oleh Jacob dalam post itu, seperti ini.

Ini adalah perkara penting.

Alpöge ini, lulusan Harvard Society of Fellows, kini merupakan seorang ahli matematik di Anthropic.

Dan ketika dia mengambil sarjana di Harvard, pensyarah bimbingan tesis kelulusannya ialah Jacob Tsimerman, yang pada masa itu juga menjadi Junior Fellow di Harvard.

Guru meramalkan dalam satu-satunya post bahawa AI akan mengambil alih penyelesaian masalah; pelajar menggunakan AI semalaman minggu lepas untuk membantah dugaan berusia seratus tahun, mewujudkan ramalan guru lebih awal.

Tiga hari kemudian, guru tersebut menerima Anugerah Fields dan mengumumkan secara rasmi penyertaannya di OpenAI.

Dan pelajar, di Anthropic.

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

Pautan rujukan:

[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 daripada akaun微信公众号 "Quantum Bit", penulis: Yi Shui