Labmedya - Laboratuvar ve Sağlık Gazetesi

Yapay zekâ, matematik alanında problem çözme, örüntü keşfetme, ispat geliştirme ve mevcut bilgileri analiz etme gibi görevlerde araştırmacılara yardımcı olabiliyor. Ancak bir sistemin ikna edici görünen sonuçlar üretmesi, bu sonuçların matematiksel olarak doğru olduğu anlamına gelmiyor. Özellikle büyük dil modelleri, mantıksal açıdan tutarsız veya gerçekte var olmayan bilgileri güvenilir bir anlatımla sunabiliyor. Bu nedenle matematikte yapay zekâ destekli çalışmaların yalnızca ortaya çıkan sonuca göre değil, kullanılan akıl yürütmenin geçerliliğine ve bağımsız doğrulama süreçlerine göre değerlendirilmesi gerekiyor.

Tao'nun çalışmalarının da içinde bulunduğu matematik araştırmaları, yapay zekânın insan uzmanlığıyla birlikte kullanılmasının önemini gösteriyor. Otomatik ispat sistemleri ve Lean gibi biçimsel doğrulama araçları, matematiksel ifadelerin belirli mantık kuralları çerçevesinde kontrol edilmesine yardımcı olabiliyor. Ancak bu araçlar ile serbest metin üreten yapay zekâ modelleri aynı şey değil. Bir yapay zekânın kendi yanıtını yeniden değerlendirmesi, bağımsız ve matematiksel olarak güvenilir bir doğrulama yapıldığı anlamına gelmeyebilir. Ayrıca çok sayıda otomatik sonuç üretilmesi, araştırmacıların bu sonuçların önemini, özgünlüğünü ve bilimsel bağlamını değerlendirmesini zorlaştırabilir.

Bu tartışma, yapay zekânın bilimsel ilerlemeyi durdurması gerektiği anlamına gelmiyor. Asıl mesele, teknolojik kapasite arttıkça doğrulama, şeffaflık ve insan denetimi mekanizmalarının da geliştirilmesi. Araştırmacılar için yapay zekânın önerdiği bir çözümü anlamak, hatalarını belirlemek ve gerektiğinde bağımsız yöntemlerle sınamak bilimsel güvenilirliğin temel parçaları olmaya devam ediyor. Bununla birlikte Tao'nun insanlığın yapay zekâ üzerindeki kontrolünü kesin olarak kaybettiğini söylediği yönündeki ifadeler, doğrudan ve doğrulanmış bir alıntı olmadan kendisine atfedilmemeli. Yapay zekânın geleceğine ilişkin temel soru yalnızca makinelerin ne kadar hızlı gelişeceği değil, insanların bu sistemlerin ürettiği bilgileri ne kadar güvenilir biçimde değerlendirebileceği.

Kaynak: https://terrytao.wordpress.com/?utm_