Yeni Fields Madalyalısı, AI Güvenliği Üzerinde Çalışmak İçin OpenAI'ye Katılıyor

Matematik dünyasının en yüksek onurunu alır almaz, OpenAI'ye geçtiğini duyurdu.

Jacob Tsimerman, ödül sahnesinde Wang Hong ve Deng Yu ile birlikte duran kişi, sahneden iner inmez herkese gösterdi:

Matematikçinin kariyerinin tavan anı ne kadar dramatik olabilir.

“Dram” kelimesini kullanma nedeni, bu kişinin üzerinde çok fazla çelişki olmasıdır:

İnanmak mı zor? İnsanlığın yok olmasına neden olacağını düşünen biri, şimdi bir AI şirketine katıldı.

Hatta "AI'nin insanlığı nasıl yok edeceğine" dair bir sınıflandırma yapmak için bir tez bile yazdı.

X hesabında yalnızca bir gönderi paylaştı, konusu matematikçilerin nasıl işsiz kalacağı.

Ancak şimdi, ilk önce matematikçinin mesleğini kaybetti.

Onun bir öğrencisi de var, üç gün önce Claude Fable 5 ile bir gece içinde 1987 yılından beri çözülemeyen Jacobi varsayımını çözdü ve Anthropic'te.

Şimdi öğretmen OpenAI'yi imzaladı. Öğretmen ve öğrenci, biri biri için.

Bunun dışında, Jacob'ın kendi üzerindeki efsane de bir yığın...

Jacob, 1988 yılında Rusya'nın Kazan kentinde doğdu, ailesiyle önce İsrail'e, ardından Kanada'ya göç etti.

2003 ve 2004 yıllarında Kanada adına IMO'ya katıldı, iki altın madalya kazandı, 2004'tekisi mükemmel puanla.

16 yaşında Toronto Üniversitesi'ne matematik okumak için girdi ve iki yıl içinde lisansını tamamladı.

2011 yılında Princeton'da doktorasını Peter Sarnak danışmanlığında tamamladı. Daha sonra Harvard'ın Fellows Topluluğu'nda eğitim aldıktan sonra, Toronto Üniversitesi'ne döndü ve üniversitenin matematik bölümünün en genç profesörü oldu.

Bu ödül, André-Oort varsayımı üzerindeki kanıt çalışmaları nedeniyle verilmiştir. Bu aritmetik geometri alanının temel sorunu, yaklaşık 40 yıl boyunca çözümsüz kalmıştı.

Ayrıca, Kanadalı bir üniversiteye bağlıyken Fields Ödülü'nü kazanan ilk matematikçi oldu.

Ayrıca, bu yılki Fields Ödülü'nün değeri kendisi bile biraz korkutucu: Kakeya sanısı, 1917'den beri çözümsüz; Hilbert'in altıncı sorusunun kinetik kısmı, 1900'de ortaya atıldı; bunlara ek olarak André-Oort.

Üç büyük tarihi dava, aynı dört yıllık periyotta çözüldü.

Yani Jacob, matematikteki “büyük yıl”da en güçlü rakiplerden biri olarak kazanan kişidir.

IMO tam puan, en genç profesör, 40 yıllık davayı çözen.

Bu bir özgeçmişin sahibi, senaryoya göre sahneye çıkıp öğretmenlerine teşekkür etmeli ve disiplinin geleceğini öngörmelidir.

Sonuç ne?

23 Temmuz'da yerel saatle, Filadelfiya, Uluslararası Matematikçiler Kongresi (ICM) açılışı.

Bir basın toplantısında, gelecek planları sorulduğunda, yeni kazanan doğrudan şöyle dedi: Yakında OpenAI'ye katılacak, yönü AI güvenliği olacak.

Dünya değişiyor diye düşünüyorum. Şu anda bildiğimiz matematik mesleği... bunun şu anki halinde kalacağını düşünmüyorum.

Ödül törenini bir transfer duyurusu haline getirdi.

OpenAI tarafındaki tepki hızı sınırlı sürümü yakalamak gibi:

Güvenlik araştırmacısı ve Harvard profesörü Boaz Barak, Twitter'da: Jacob'ı AI güvenliği alanında birlikte çalışmak için bekliyor ve "derin bir скромностьla" karşılıyorum.

Microsoft eski başkan yardımcısı ve şu anda OpenAI'de olan Sebastien Bubeck de katıldı: Takıma hoş geldiniz, bundan sonraki süreç çok ilginç olacak.

Bu durumda insanlar ya şaşkınlık ya da sürpriz içindeyken, insanların yıllar boyunca yaptığı araştırmaları ve açıklamalarını keşfetmeye başladı.

Aslında, her şeyin izleri vardı.

Jacob'in X hesap sayfasını açın, 2014 yılında katıldığı gösteriliyor.

Ancak onlarca yıl geçtikten sonra, yukarıda sadece bir gönderi vardı, bu yüzden bu gönderi onu tanımanın anahtar anahtarı haline geldi.

Gönderi, matematikçi Daniel Litt'e verilen bir yanıt ve tartışılan soru oldukça basit:

Matematik araştırmalarında problem çözmenin ne kadar önemli olduğu.

Cevabı şuydu: Neredeyse tamamı.

Sonra çok "kalpten gelen" bir şey anlattı. Kendisinin neredeyse tüm zamanını sorunları çözmeye harcadığını söyledi ve sadece kimse Zilber-Pink sanısının genel halini çözerse...

Tamamen ana araştırma alanım kayboldu.

Bir tam akademik topluluk, matematikçiler, postdoktoralar, lisansüstü öğrenciler, tümü bu tek bir varsayım etrafında dönmektedir: özel durumları ayrıştırır, stratejileri deneyerek, benzerlikler arar.

Bu varsayım çözüldüğü gün, herkes yeni bir soru bulmak zorunda kalacak.

Bu süreci "yönlendirici, büyük enerji tüketen, hem basit olmayan hem de her zaman eğlenceli olmayan" olarak tanımladı.

Geçmişte, "varsayımı çözen" yalnızca başka bir matematikçi olabilirdi, bu olay yüzyılda bir kez gerçekleşirdi.

Şimdi bir model olabilir ve her an gelebilir.

Ne kadar hızlı olabilir? Bu yılki AMS Notices (Amerikan Matematik Topluluğu Duyuruları) röportajında bir zaman çizelgesi vermişti:

Beş yıl? İki yıl içinde, teorem kanıtlamada bizi geçebilir. O zaman sadece şöyle diyeceğiz: Bu bir önerme, kanıtla.

Gönderide bir düşünce deneyi de yaptı: Elinde bir AI ilahi yordam makinesi olsun, her matematiksel önerme içine atıldığında, doğruluğu veya yanlışlığı hemen belli olsun.

Teorinin kurucularının günlük hayatı nasıl olurdu?

Bir tanım sunuyorsunuz ve hemen binlerce soru soruyorsunuz. “Bu temel özellikler geçerli mi?” diye başlayıp, “A, evet, bu derin varsayım doğru mu?” diye bitiyor. Cevaplar sürekli dönmeye devam ediyor, tanımı sürekli düzeltiyorsunuz. Tüm araştırma alanı, birkaç gün içinde doğurulup sona eriyor.

Bu senaryodaki kararı çok sakin, ancak çok ağır verdi: Bu, modern matematikle çok, çok farklı iki şeydir.

İlginç olan, kendi kendisinin zaten bu günü daha düşük bir versiyonunda yaşıyor olması.

Aynı röportajda, AI'nın bilimsel verimliliğini iki katına çıkardığını ve 2025 yılında arXiv'e beş matematik makalesi yüklediğini açıkladı. Günlük çalışma akışı, ChatGPT ve Claude ile sorunun sınırlarını belirlemek, referans literatürünü almak ve modellerin lemmaları kanıtlamasını sağlamakti:

Verdiği kanıt genellikle yanlıştır. Ancak genellikle doğru yönü ortaya çıkarır ve benim %80'ini tamamlamama yardımcı olur, kalanı kendim tamamlarım.

Yani, orak makinesi henüz teslim edilmemiş, ancak örnek cihazı her gün kullanıyor.

Aynı nedenle, meslektaşlarının durumuna karşı özellikle sert davranır:

Matematik dünyasında çok sayıda cope (kendini yatıştırma) var; herkes AI'nın şu an matematikçilerden daha az yetenekli olduğunu görüyor ve bunun kalıcı olacağını varsayıyor.

Meslektaşlar için bu söz zaten yeterince radikal olabilir.

Ancak Jacob için, "Yapay zekâ iki yıl içinde matematikçileri geçecek" ifadesi, tüm yargıları arasında en hafifiydi.

Asıl yargı şudur:

Yapay zekânın insanlığın yok olmasına önemli ölçüde neden olabileceğini düşünüyorum.

Bu rastgele bir söylem değil. 2025'te arXiv'e yüklediği altıncı makale aslında matematik değil, başlığı "AI ile İlgili Türün Yok Olma Senaryolarının Sınıflandırılması" ve ortak yazarı AI güvenliği konusunda eski bir işbirliği yapmış olan Andrew Critch.

Özet doğrudan yazılmıştır: Bu makale, tüm veya neredeyse tüm insanlığın yok edildiği senaryolar dahil olmak üzere AI'nın yol açabileceği soykırım türlerini sınıflandırır ve örnekler verir. Bu olaylar kaçınılmaz değildir; bunlar önlemeye çalışabileceğimiz olasılıklardır.

Bir Fields Ödülü düzeyinde matematikçi, "AI'nın insanlığı nasıl yok edeceğini" konusunda bir sınıflandırma sistemi kurdu.

O zaman bu kadar korkuyorsanız neden AI şirketine katıldınız?

Röportajda aslında şöyle cevap verdi: AI'yı durdurmayı destekliyor, ancak bunun yaşanacağını düşünmüyorum. Engelleyemiyorsanız, dışarıda karşı çıkmaktan ziyade içeri girip bunu anlayın ve şekillendirmeye katılın, aksi takdirde “arkamızda kalabiliriz”.

OpenAI'ye gitmek, güvenlik departmanına gitmek, mantık açıklanır.

Ayrıca gönderinin sonunda, bazılarının matematik yapmanın tek nedeninin gerçekliği aramak olduğunu ve bunu tek yüce motivasyon olarak görmüş olduğunu söyledi.

O, katılmıyor.

Matematik yapıyorum, çünkü bunu seviyorum ve bunu iyi yapıyorum. Matematikçiler de insanlardır, para, konut, yiyecek, sevgi, egzersiz ve çeşitli şekillerde anlam ihtiyaç duyarlar. Soru çözmenin keyfi kaybolursa, başka yollar olsa bile birçok kişi matematik yapmak istemeyecektir.

Bu ifadelerden, arka plandaki bazı seçimlerin nedenlerini de kolayca anlayabiliriz.

Jacob'in hareketleri, başka bir şeyi değerlendirmeye değer hale getiriyor:

Bu yılın dört kazananı şu anda nerede ve kim hâlâ büyük şirketlerin dikkatini çekebilir.

Önce Jacob'ın kendi gönderisindeki çerçeveyi kullanın.

Matematik çalışmalarını iki kategoriye ayırdı: problem çözme ve teori oluşturma.

Ancak AI laboratuvarının şu anda en çok ihtiyaç duyduğu, tam olarak ilk tür insanlar:

Verilen önerme, doğruluk değerini belirleme, kanıt veya karşı örnek bulma, tam olarak akıl yürütme modellerini eğitmek ve değerlendirmek için en uygun yetenektir.

Yani, ne kadar "problem çözme makinesi" gibi bir matematikçi olursa, transfer pazarı değeri o kadar yüksek olur.

Listeyi bu standarta göre gözden geçirin.

Wang Hong, şu anda New York Üniversitesi profesörüdür ve aynı zamanda Fransız Yüksek Bilimsel Enstitüsü'nde (IHES) görev yapmaktadır.

Kakeya sanısının 127 sayfa kanıtını işbirlikçisi Joshua Zahl ile birlikte sunması, bu kanıtı "yüzyılda bir kez" olarak tanımladı ve onu菲尔兹奖 90 yıllık tarihinin üçüncü kadın laureatı yaptı.

Ödül kazanmadan önce Salem Ödülü, Ostrowski Ödülü, Clay Araştırma Ödülü, Yeni Yönler Ödülü ve diğer birçok ödülü kazanmış olup, dört kişiden en yüksek akademik görünürlüğe sahipti.

Bu tür bir uyum analizi, AI çıkarım araştırmalarının en çok ihtiyaç duyduğu yönde tam olarak yer alıyor.

Kakeya türü soruların çözüm tarzı, sert tahminler, kombinatorik teknikler, adım adım yaklaşma, neredeyse akıl yürütme modelleri değerlendirme setinin üst versiyonudur.

Daha fazla üst düzey kamu sesiyle, muhtemelen başucu listesinin ilk satırında olacak.

Tek ters sinyal:

O, akademik dünyada IHES pozisyonunu yeni kazandı ve "akademik getirisi en yüksek" olan pencere döneminde; aktif olarak ayrılmak için bir motive yok.

Deng Yu, Chicago Üniversitesi profesörü, Hilbert'in altıncı sorusunun kinetik kısmını oluşturan gazların mikroskopik ve makroskopik açıklamalarını birleştiren çalışmaları nedeniyle ödül kazandı.

Ocak ayında ödül kazandığına dair gizlice bilgi aldığında, hislerini yatıştırmak için birkaç gün Michigan Gölü'nün kıyısında yürüdü, ardından ofise dönüp işine devam etti: "Hiçbir şey olmamış gibi."

Bu detay neredeyse her şeyi açıklıyor: Ödülü aldıktan sonra “hiçbir şey olmamış gibi” davranabilecek biri, büyük şirketlerin tekliflerine de aynı şekilde tepki verecektir.

Ayrıca yönü matematiksel fizik ve KDM'ye yöneliktir ve mevcut akıl yürütme modellerinin ana savaş alanından biraz uzaktır; her iki tarafta da ilgi zayıftır.

En az değişim yapacak gibi görünen dört kişiden biri.

John Pardon, Stony Brook Üniversitesi Simons Geometri ve Fizik Merkezi profesörü, simetrik topoloji alanı.

Dört kişiden en genç efsane, lisans döneminde 30 yıldır çözülemeyen bir sorunu çözdü.

Jacob'in sınıflandırmasına göre, bu tür bir öykü laboratuvarları durduracak kadar tipik bir "genç problem çözücü" kökenine sahip.

Ancak辛拓扑, şu anda makinenin en çok zorlandığı soyut geometri bölgesidir; kısa vadeli olarak model ona yardımcı olamaz ve o da modele yardımcı olmaya gerek duymaz.

Değişken, henüz genç olması; eğer iki yıl sonra AI, Jacob'ın tahmin ettiği gibi gerçek geometriye ulaşmaya başlarsa, etkilenenler arasında ilk olacak ve mesleğini değiştirmek için en çok kaynağa sahip olan kişi olacak.

Sonuç olarak, biri ayrıldı, biri eksik değil, biri istemiyor, biri acele etmiyor.

Ancak şu anda AI laboratuvarlarının matematikçileri ele geçirmeye çalıştığı durumda, bu liste büyük olasılıkla uzun süre stabil kalmayacaktır.

Geçen yıl Google DeepMind, OpenAI ve Anthropic'in matematik uzmanları üzerindeki yarışın, mühendislerle yapılan yarış kadar yoğun olduğunu unutmayın.

Şu ana kadar dört kazanan tamamen ortaya çıktı.

Ancak bu hikâyenin son bir dönüşümü daha var.

Ödül verilmesinden üç gün önceye geri dönün.

Dünya Kupası finali gece, matematikçi Levent Alpöge, X'te şu postu paylaştı: Jacobi hipotezi yanlıştır.

1939 yılında öne sürülen bu varsayım 87 yıl boyunca çözümsüz kaldı ve Smale'in ünlü 21. yüzyıl matematik sorunları listesine de dahil edildi.

Alpöge'nin sunduğu ters örnek ise yalnızca 216 karakterdir ve her matematikçi tarafından elle doğrulanabilir.

İğneyi çöp yığınından bulan, Anthropic'un geçen ay yayınladığı Claude Fable 5'ti.

Gönderisinde, Dünya Kupası finali sırasında fazla mesai yapmaya devam etmesi için "fable" adlı kişiye özel teşekkür etti.

Örnek tersi hızlıca bağımsız olarak doğrulandı.

Fields Ödülü sahibi Timothy Gowers, bu ilk kez bir LLM'nin kendi alanının dışında "ünlü" bir sorunu çözdüğünü görüyor.

Bir model, bir gece içinde 1987 yılının çözülemeyen davasını çözdü.

Jacob'ın gönderisinde betimlediği gelecek böyle görünüyor.

Önemli nokta.

Bu Alpöge, Harvard Fellows Topluluğu mezunu ve şu anda Anthropic'un bir matematikçisi.

Ancak Harvard'da lisans eğitimini aldığı dönemde tez danışmanı, o dönemde aynı Harvard'da Junior Fellow olarak çalışan Jacob Tsimerman idi.

Öğretmen, tek gönderisinde AI'nın çözümlemeyi ele geçireceğini tahmin etti; öğrenci, geçen hafta AI ile bir gece içinde yüzyıllık bir varsayımı çürüttü ve öğretmeninin tahminini erken gerçekleştirdi.

Üç gün sonra, öğretmen Fields Ödülü'nü aldıktan sonra OpenAI'ye katıldığını duyurdu.

Ancak öğrenciler, Anthropic'te.

İki öğretmen-öğrenci, birer aile.

Referans bağlantısı:

[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

Bu yazı, WeChat hesabından "Quantum Bit" tarafından yazılmıştır, yazar: Yi Shui