Terence Tao: YZ matematigin açık problemlerini yenilenemez biçimde tüketiyor

Matematikçi Terence Tao, matematikteki iyi ve verimli açık problemler birikiminin "yenilenemez biçimde çıkarıldığı" uyarısında bulunuyor; umut vadeden soruların kıtlaşma riski var. Tao argümanını 8 Eylül 2026'da Mathstodon'da yayımladığı dört bölümlük bir dizide anlattı.

Okyanus ve içme suyu

Tao, uyarının ilk bakışta mantıksız göründüğünü kabul ediyor: sorulabilecek problemler kümesi sonsuz. Benzetmesi, uçsuz bucaksız bir okyanusun ortasında içme suyu sıkıntısı çeken bir ülke. İstenildiği kadar açık problem üretilebilir — örneğin pi sayısının 10^10^10. basamağını hesaplamak — ancak bunların büyük çoğunluğu dikkate değmez: ne yeni kavrayışlar ne de başka sorularla bağlantılar sunarlar; ya fazla kolaydırlar ya da bilinen teknikler karşısında öğrenilecek bir şey bırakmayacak kadar imkânsızdırlar.

Bir sorunun öne çıkarılmaya değip değmediğine karar vermek uzun, ölçülü ve öznel bir süreç; benzer problemlerin geçmişte ürettiği iyi matematiğe dair tarihsel deneyime dayanır. Belirleyici olan, bir alanın "zorluk haritasını" bilmektir: hangi sorular bilinen yöntemlerle kolay, hangileri ancak çabayla çözülür, hangileri imkânsız.

Zorluk haritasının düzleşmesi

Teknik, teknoloji veya geçmiş literatüre erişim gibi altyapıdaki her ilerleme, problem çözmenin zorluğunu azaltır. Bu genelde iyidir; ama haritayı, alanın geometrisinin artık seçilemeyeceği ve umut vadeden soruların çıkarılamayacağı kadar düzleştirir.

Yapay zekâ çağı bir noktada farklı: böyle kesin sınırlar yok. YZ araçları birçok alanda haritayı düzleştirdi, ancak "YZ için mümkün" problemleri "YZ için zor" olanlardan ayıran net bir cephe yok — ki zor olanlar kesinlikle var; problem zorluğu sınırsız ve bazıları karar verilemez. Tao bunu kısmen hızla değişen teknolojiye, kısmen de YZ şirketlerinin olumsuz sonuçları ya da çözüme giden yolu açıklamayı reddetmesine bağlıyor.

Kıt kaynak

Sonuç olarak, umut vadeden bir problemi belirlemek artık kıt ve değerli kaynağın kendisi. Tao, birinin bir problem üzerinde çalıştığı söylentisinin bile, özgün araştırma projesi tam potansiyeline ulaşmadan onu düzleştirmek için YZ destekli devasa bir çabayı tetikleyebildiğini belirtiyor. Teşvikler artık umut vadeden araştırma yönlerinin toplulukla paylaşılmamasına işaret ediyor olabilir; bu da ona göre yüzyıllara dayanan açık bilim geleneğini tersine çevirir ve alanın geleceğine ciddi uzun vadeli zarar verir.

Yasak değil, standart

Dizinin son gönderisinde Tao, güçlü "çözüm çıkarma" araçlarının ayrım gözetmeden kullanılmasının eldeki problemleri çözme kısa vadeli hedefini tuttuğunu, ama bunu bir sonraki ilerleme dalgasının ekosistemi pahasına yaptığını savunuyor. Otomatik araçları tamamen yasaklamak teknik olarak olanaksız olabilir; ancak birçok problem sınıfı, yalnızca çözmeyi değil çözüm sürecinden kavrayışlar çıkarmayı gerektiren dikkatli analize layık ilan edilebilir. Tao bunu, teknik olarak yenilebilir olduğu doğrulansa bile keyfi bağışları artık kabul etmeyen, bunun yerine gerçekte neye ihtiyaç duyulduğuna dair toplumsal olarak kabul görmüş standartlar tutan modern bir gıda bağışı kampanyasına benzetiyor.