Matematikçiler Yapay Zekanın Mesleklerini Yok Edebileceğinden Endişeleniyor

Matematikçiler, teknolojinin mesleklerini yok edebileceğinden endişe duyuyor. Ancak yapay zekanın sahip olmadığı yeteneklere hâlâ sahipler. Bu ayın başlarında, yaklaşık 40 üst düzey matematikçi, mesleklerinin geleceğini tartışmak üzere OpenAI ofislerinde bir araya geldi.

Toplantı kayıt dışıydı, ancak matematikçilerin son makaleleri bir göstergeyse, çoğunlukla oldukça karamsardı. İnsanlar işlerinden, kariyerlerinden ve sevdikleri işten korkuyor. Biz karşıt görüşün daha olası olduğunu düşünüyoruz, en azından kısa vadede.

Yapay zeka modelleri, deneyimli akademik matematikçilerin yeteneklerinin yakınından bile geçemiyor. Bu, yapay zekaların doktora düzeyindeki araştırmacılar seviyesinde çarpıcı matematiksel sonuçlar üretmediği anlamına gelmiyor. Mayıs ortasında OpenAI, öncü yapay zeka modelinin ayrık geometride 80 yıllık ünlü bir problem olan birim uzaklık varsayımını çürüttüğünü duyurdu.

Temmuz'da Anthropic, akademik kriptanalizde yapay zeka kaynaklı iki sonuç yayınladı. Bu ayın başlarında OpenAI, en son yapay zeka modelinden 10 yeni matematiksel sonuç yayınladı. Ve Anthropic, Claude'un buçuk asırlık Riemann hipotezini kanıtlama girişimini yayınladı.

Bu sonuçlar hem 2026'daki öncü yapay zekanın inanılmaz yeteneklerinin canlı bir gösterimi hem de sınırlamalarının bir örneği. Genel olarak, matematikteki bu yapay zeka destekli ilerlemeler iki kategoriden birine giriyor. Bazıları, insanların kanıtlamaya çalıştığı matematiksel ifadelere karşı örnekler.

Diğerleri, bilinen tekniklerin, insan uzmanların bilmediği veya kullanmayı düşünmediği mevcut problemlere yeni uygulamaları. Jacobian varsayımına karşı örnek, ilk türün en dikkat çekici örneği. Bulunduktan sonra kontrol etmek hızlı ve basitti.

Zor kısım, onu çok sayıda olasılık arasından bulmaktı. Yapay zeka, doğru örneği bulmak için makine öğrenimi yoluyla edinilen bir tür sezgiyi kapsamlı hesaplamalı aramayla birleştirmiş görünüyor. İkinci türün bir örneği, birim uzaklık varsayımı.

Zarif bir yapıdan motive edilmişti ve çoğu matematikçi bunun esasen optimal olduğunu bekliyordu – bu yüzden genellikle çürütmek yerine kanıtlamaya çalıştılar. Karşı örnek, matematiğin başka yerlerinden fikirler getiriyor: cebirsel sayı teorisi. Bu geçmişe sahip bir uzman bilinçli olarak bir karşı örnek bulmaya çalışsaydı, muhtemelen başarılı olurdu.

Ancak tam olarak bu uzmanlığa sahip birinin bu soruna odaklanması için hiçbir neden yoktu. Kapsamı nedeniyle, yapay zekalar bu sınırlamalara sahip değil. Bu sonuçlar yapay zeka için nispeten kolay lokma; hiçbiri kapsamlı yeni bir teori geliştirmeyi gerektirmedi.

Bu, keşifleri önemsiz veya yapay zekanın başarılarını daha az etkileyici yapmıyor. Doğru yönü seçmek ve konular arasında beklenmedik bir bağlantıyı fark etmek, kendi başlarına yaratıcılık biçimleridir. Bunlar, yapay zekaların Go oyununu büyükusta seviyesinde oynamasına veya protein katlanması alanında Nobel ödülü seviyesinde kimya yapmasına yol açan türden yeteneklerdir.

Henüz görmediğimiz şey, bir matematik problemini çözmek için önemli ölçüde yeni bir kavramsal çerçeve geliştiren bir yapay zeka. Matematiğin çoğu, bir sorunun gerçekten merkezinde yer alan nesneleri belirleyerek ve ardından onları anlamamıza yardımcı olan bir teori geliştirerek ilerler.