Yaygın olarak bu alanda yaşayan en etkili figür olarak kabul edilen UCLA matematikçisi Terence Tao, yapay zekanın matematiği, disiplini bir yüzyıl önce yeniden şekillendiren temel krizle karşılaştırılabilecek bir türbülans dönemine ittiğini savunan bir makale yayınladı. "Yapay Zeka Çağında Matematik" başlıklı makale arXiv'de 17 Ağustos'ta yayınlandı ve Tao'nun 2026 Uluslararası Matematikçiler Kongresi'nde verdiği halka açık bir konferansa dayanıyor.
Makale, kısa sürede araştırmacılar ve mühendisler arasında haftanın en çok tartışılan bilimsel metinlerinden biri haline geldi ve Hacker News gibi forumlarda geniş kitlelerin ilgisini çekti. Son üç yılını yapay zekanın gerçekten araştırma düzeyinde matematik yapıp yapamayacağını tartışarak geçiren bir alan için Tao'nun argümanı, soruyu tamamen değiştiriyor.
Gerçeğin Değil Değerlerin Krizi
Tao'nun tarihsel çerçevesi kasıtlıdır. Yaklaşık 1900 ile 1930 yılları arasında matematik, Russell'ın 1901'deki paradoksu ve Gödel'in 1931'deki eksiklik teoremleriyle sarsıldı; bu keşifler, matematikçileri gayri resmi varsayımları terk etmeye ve konunun bugün hala dayandığı açık, kesin temelleri oluşturmaya zorladı. Bu türbülansın sonuçta matematiği daha güçlü hale getirdiğini savunuyor.
Kurduğu paralellik kesindir: Şu anda stres testine tabi tutulan şey, matematiğin doğruluk çerçevesi değil, onun "matematiksel değerler ve uygulamaların büyük ölçüde örtük çerçevesi"dir - topluluğun bir katkıyı ne olarak gördüğü, neyi ödüllendirdiği, neyi anlaşılmış olarak gördüğü ve işi kimin veya neyin yaptığını düşündüğü. Tıpkı son krizin örtülü olanı açık hale getirmeye zorladığı gibi, Tao bu krizin de matematikçileri asla yazılması gerekmeyen hedefleri kodlamaya zorlayacağını öne sürüyor.
Yetenek Tartışmasını Atlamak
Makalenin en çarpıcı yapısal tercihi yapay zekanın matematik yapıp yapamayacağını tartışmayı reddetmesidir. Bunun yerine Tao, araştırma düzeyindeki matematiksel görevleri yerine getirebilecek yapay zeka araçlarının geleceği hipotezini şart koşuyor ve bu varsayımın aşağısındaki her şeyi gerçek sorun olarak ele alıyor. Buna "Topluluk Yanıtı Sorusu" diyor: Yeteneklerin gerçek olup olmadığı değil, matematik topluluğunun nasıl yanıt vermesi gerektiği.
Bu kasıtlı olarak dikey bir harekettir. Tao'nun ifadesine göre, model kapasitesi üzerine yapılan tartışmalar hem soyut olarak çözülemez hem de konunun dışındadır. Matematiğin ne işe yaradığı ve uygulayıcılarının gerçekte neye değer verdiği gibi acil sorular, yapay zekanın ilerlemesi yarın dursa bile yanıt verilmesini gerektirecektir.
Kanıt Kıtlığı, Kanıt Bolluk ve Goodhart Yasası
Makalenin merkezinde, otomasyonun en doğrudan tehdit ettiği matematik pratiği bileşeni olan problem çözme üzerine bir vaka çalışması yer alıyor. Tao, alanın, doğrulanmış orijinal kanıtların nadir ve değerli olduğu kanıt kıtlığı ekonomisinden, makine tarafından üretilen argümanların ucuz ve bol olduğu kanıt bolluğu ekonomisine geçtiğinde ne olacağını inceliyor.
Anahtar kelime listesi kapsadığı alana işaret ediyor: resmileştirme, kanıt yardımcıları, hakem değerlendirmesi, Goodhart yasası. Son madde, yani bir tedbirin hedef haline geldiğinde iyi bir ölçü olmaktan çıkması ilkesi baştan sona tekrarlanıyor. Yayın sayıları, yarışma sonuçları ve teorem kaynağının tümü matematiksel katkının vekili olarak hizmet etmiştir. Yapay zekanın bu temsili değerleri büyük ölçekte şişirebildiği bir dünyada, topluluğun tarihsel olarak sayabildiği şeylerden ziyade gerçekte değer verdiği şeyleri ödüllendirmesi gerekecek.
Makale, Tao'nun yapay zeka destekli, resmi olarak doğrulanmış matematik deneylerinde desteklediği türden resmi kanıt ortamları da dahil olmak üzere, ortaya çıkan iş akışlarına ilişkin tavsiyeler ve bir araştırmayla sona eriyor ve ayrıca topluluğun cevabının teknoloji geliştikçe gelişeceğine dair samimi bir kabulle bitiyor.
Bir Matematik Makalesi Neden Matematiğin Dışında Önemlidir?
Tao alışılmadık bir figür: Yıllarca kanıt asistanları ve yapay zeka araçlarıyla ilgili uzaktan yorum yapmak yerine doğrudan çalışarak çalışan bir Fields Madalyası sahibi. Bu pratik katılım, makaleye saf matematiğin ötesinde bir ağırlık kazandırıyor çünkü neredeyse her araştırma disiplini, onun tanımladığı aynı ters çevrilmeyle karşı karşıyadır. Akran değerlendirmesi, yazarlık, kredi ve katkının tanımı fizik, biyoloji ve bilgisayar bilimlerinde de aynı baskı altındadır; matematiğin asırlık avantajından yoksun olan alanlar, temellerini açık bir şekilde ortaya koymaya başlar.
Şu ana kadar alınan tepkiler tartışmanın sonuçlandığını gösteriyor. Tartışma konuları, Tao'nun kıtlık-bolluk çerçevesinin genel anlamda akademi için yararlı bir mercek olması üzerine odaklandı; değerler krizinin, temellerdeki krizin aksine, küçük bir mantıkçılar grubu tarafından çözülemeyeceğine özellikle dikkat edildi. Bunun tüm topluluk tarafından çözülmesi gerekecek; dergiler, işe alma komiteleri, bağış kuruluşları ve kariyerleri şu anda baskı altında olan örtülü normlar üzerine inşa edilen matematikçiler.
Tao'nun vardığı sonuç, endişe verici olmaktan çok, sonuçta yapıcıdır. Temel kriz, yüzyıllık testlere dayanabilen güvenilir bir çerçeve üretti. Kendisi, matematiğin gerçekte neye değer verdiğini kapsamlı ve dürüst bir şekilde incelemenin, disiplini eskisinden daha güçlü ve daha dirençli bırakabileceğini öne sürüyor; tabii koşullar bu yönde bir seçim yapmadan önce toplumun yazılı olmayan kurallarını açık hale getirme işini yapması şartıyla.
---
Yapay Zekanın Önünde OlunEn son yapay zeka haberlerini, analizlerini ve buluşlarını tek bir yerden alın.
Daha fazla AI haberini okuyun →
