Matematikçiler mi eskiyor? Dünyanın en büyük beyinlerinden bazılarını küçük düşüren gizli toplantı.

Mayıs 2025'te, Kaliforniya Üniversitesi Berkeley kampüsünde, modern matematik tarihinde bir dönüm noktası olabilecek sıra dışı bir toplantı gerçekleşti . Dünyanın en saygın otuz matematikçisi, birbirleriyle tartışmak için değil, yapay zekâyla yüzleşmek için gizli bir toplantıda bir araya geldi: o4-mini . Bu yapay zekâ, OpenAI tarafından geliştirilen ve benzeri görülmemiş bir hız ve doğrulukla akıl yürütme yeteneğine sahip, son teknoloji bir dil modelidir.

Amaç , makineyi iki gün boyunca dünyanın en karmaşık problemlerinden bazılarında test etmekti. o4-mini'nin çözemediği her soru için, onu formüle eden matematikçi 7.500 dolar (6.389 avro) ödül alacaktı . Ancak bu maratonun sonucu, katılanların çoğunu şaşkına çevirdi. Virginia Üniversitesi'nde matematikçi ve etkinliğin jüri üyelerinden Ken Ono, Scientific American dergisine şunları söyledi: " Daha önce bir modelde böyle bir mantık yürütme görmedim. Bir bilim insanının yaptığı şey bu. Korkunç."

Kâr amacı gütmeyen Epoch AI tarafından FrontierMath projesi kapsamında düzenlenen toplantı, sıkı güvenlik önlemleri altında gerçekleşti. Katılımcılar gizlilik sözleşmeleri imzaladı ve e-posta kullanmaları yasaklandı . Modelin eğitimini etkileyebilecek sızıntıları önlemek için yalnızca şifreli Signal uygulaması aracılığıyla iletişim kurabiliyorlardı. 30 matematikçi altı kişilik gruplara ayrıldı ve çözebilecekleri ancak yapay zekayı çökertecek problemler tasarlamak için birbirleriyle yarıştılar.

Sorulan problemler, sayılar teorisinden cebirsel geometriye kadar uzanıyordu ve normalde haftalarca akademik çalışma gerektirecek zorlukları kapsıyordu. Ancak o4-mini , bunları dakikalar içinde çözerek yalnızca bir cevap sunmakla kalmayıp aynı zamanda yapılandırılmış bir akıl yürütme süreci de sergiledi. Problemi parçalara ayırdı, adım adım ilerledi ve bir sonuca varmadan önce ara çözümler önerdi.

"Bu modelleri farklı kılan şey, artık çözümleri daha küçük sorunlara daha iyi bağlamaları," diye açıklıyor Universitat Oberta de Catalunya'da bilgisayar bilimleri profesörü olan Jordi Serra Ruiz, ABC'ye . "Bu sayede, insanların karşılaştığı zorlukları adım adım çözebiliyorlar. Ancak yalnızca daha önce eğitilmiş veya açıklanmış sorunlar üzerinde ."

Katılımcıların çoğu için en rahatsız edici şey , yapay zekânın sadece bir yılda kaydettiği şaşırtıcı ilerlemeydi. Gelişen eğitimle, geliştiricileri "dördüncü seviye" problemleri -dünyada yalnızca bir avuç uzmanın kavrayabileceği sorular- formüle etmeye başladılar ve o4-mini, Nisan 2025'e kadar bunların neredeyse %20'sini çözebildi. Geleneksel modeller ise ancak %2'den fazlasını çözebildi.

Ono, "Yapay zeka, her problem için ilk iki dakikayı ilgili literatürü özümseyip ustalaşarak geçirdi. Sonra öğrenmek için basitleştirilmiş bir versiyonunu çözer ve sonunda tam probleme geçerek doğru, ama cüretkar bir çözüm bulurdu ," dedi. "Ve sonunda, yapay zeka, '(İlham kaynağımı) alıntılamaya gerek yok, çünkü gizemli sayıyı ben hesapladım! ' dedi."

Deneyim, katılımcılar üzerinde kalıcı bir izlenim bıraktı . Ono, "Son derece yetenekli bir işbirlikçiyle çalışmak gibi," diye itiraf etti. Londra Matematik Bilimleri Enstitüsü'nde matematikçi ve araştırmada yapay zekâ kullanımında öncü olan Yang Hui He ise daha da ileri giderek, "Mükemmel bir lisansüstü öğrencisinin yapacağı şey bu. Hatta daha da iyisini." dedi.

Hui He ayrıca 'korkutma yoluyla yargılama' kavramını da ortaya attı. Yani, bir yapay zeka o kadar güvenle yanıt veriyor ki, dinleyici -bir uzman bile olsa- sonuçlarını sorgulamadan kabul ediyor. "Yeterince otoriter bir şey söylerseniz, insanlar korkar. Sanırım o4-mini bu testte gözdağıyla baskın çıktı ," dedi.

Hafta sonu ilerledikçe, ruh hali giderek daha da kararsızlaştı: Teknik ilerlemeye hayranlık, ancak matematikçilerin geleceği konusunda derin bir endişe. " Makine her şeyi sizden daha hızlı çözerse ne olur?" diye sordu birkaç katılımcı. Ono açık sözlüydü, ancak korku salmaya çalışmadığını da belirtti: "Yapay genel zekânın (YGZ) - bilgiyi bir insana benzer şekilde anlama ve uygulama yeteneğine sahip varsayımsal bir YZ türü - asla gerçekleşmeyeceğini, bunun sadece bir bilgisayar olduğunu düşünmek ciddi bir hatadır. Bazı açılardan, bu modeller şimdiden en iyi doktora öğrencilerimizi geride bırakıyor."

Bu toplantının sonucu bir yenilgi değil, bir uyarıydı. Grup, o4-mini'nin çözemediği on problemi formüle etmeyi başardı , ancak herkes bu insan avantajının sürdürülmesinin giderek zorlaşacağını anlamıştı. En iyi insanlar için bile çözülemeyen sorularla "beşinci seviyeye" ulaşma olasılığı artık bilim kurgu gibi görünmüyor.

Bu senaryoda, toplantıdaki matematikçiler, yapay zekâyı yeni keşiflere yönlendiren "soru soran kişiler" haline gelip gelemeyeceklerini düşündüler. Hui He, "İnsan yaratıcılığı ve yorumu temel olmaya devam edecek," diye ısrar etti. "Yapay zekâ hesaplar, akıl yürütür, çıkarımlar yapar... ama henüz rüya görmez veya sezgi sahibi değildir ."

Madrid Politeknik Üniversitesi Yapay Zeka profesörü Óscar Corcho, ABC için durumu şöyle özetliyor: "Arama motorları internette ortaya çıktığında yaptığımız gibi, bu makinelerle birlikte çalışmaya uyum sağlamalıyız." Bu yeni zekaların iç işleyişini anlamak , insan beynini anlamak kadar önemli bir meydan okuma: "Bu yapay zekada çözmeye çalışacağımız kör noktalar olacak. Aslında, biz zaten bir nevi 'Yapay Zeka psikologları'yız." Ancak, kullanıcılarını gereksiz kılmak zorunda olmayan bir araçla uğraştığımızı unutmamak her zaman iyidir.

ABD Savunma İleri Araştırma Projeleri Ajansı (DARPA), matematiğin geçmişte takılıp kaldığı konusunda uzun zamandır uyarıda bulunuyor . Programın direktörü Patrick Shafto, "Matematik hâlâ yüzyıllar önce olduğu gibi, yani kara tahtanın önünde duran insanlar tarafından yapılıyor," diye yakındı. Bu nedenle, Nisan 2025'te, büyük matematik problemlerini daha yönetilebilir bileşenlere ayırıp hızlı ve doğru bir şekilde çözebilecek bir "yapay zeka ortak yazarı" geliştirme hedefiyle expMath girişimini başlattı.

Berkeley toplantısı bir deneyden çok daha fazlasıydı; hem bugünün bir yansıması hem de geleceğin bir kesitiydi. Ken Ono bu konuda şunları kaydetti: " Bu modellerin matematiksel dehaya yaklaştığını söyleyen meslektaşlarım oldu."

Yapay zekaya bu olguyu sorarsanız, cevap çarpıcıdır. Yine OpenAI tarafından geliştirilen ChatGPT ise şu yanıtı veriyor: "Terence Tao, Noam Chomsky ve hatta Leonardo da Vinci ya da Marie Curie gibi yaratıcı dahiler, yapay zekanın şu anda yapabileceklerinin çok ötesinde , dünyaya dair derin, yenilikçi ve kişisel bir anlayışa sahipler ."

Ancak kendimize neden bizi aşan bir şeyi isteyebileceğimizi sorarsak, cevabın basit olduğunu belirtiyor: "Çünkü içten içe sınırların bizi boğduğunu biliyoruz. Ayrıca, zorluk olmadan rahatlığın zihni körelttiğini de biliyoruz. Belki de anahtar budur: Makinelerin sorunları verimli bir şekilde çözdüğü bir dünyada , gerçek değerimiz henüz çözümü olmayan şeyleri hayal etmek olacaktır."