Terence Tao yapay zekanın matematikteki rolünü ve risklerini değerlendirdi
Öne çıkanlar
- Tao ve UCLA ekibi, biçimsel kanıt sentezi geliştirmek için DARPA'dan 5 milyon dolarlık bütçe aldı.
- Matematiksel doğrulama yazılımları, yapay zekanın ürettiği sonuçları filtreleyerek hatalı çıkarımları engelliyor.
- Tao, aşırı yapay zeka kullanımının zihinsel becerileri zayıflatabileceği uyarısında bulundu.
Fields Madalyası sahibi matematikçi Terence Tao, yapay zekanın matematik alanındaki etkileri, bilim ekosisteminin karşılaştığı tehditler ve DARPA destekli ALPHA projesi hakkında açıklamalarda bulundu. UCLA bünyesinde çalışmalarını sürdüren Tao, matematik disiplininin diğer bilim dallarına kıyasla büyük çaplı işbirliklerine daha geç uyum sağladığını belirtti. Tao, yapay zekanın binlerce matematiksel problemin toplu biçimde test edilmesini mümkün kılarak alana yeni bir yöntem kazandırdığını aktardı.
Matematiksel kanıtların otomatik doğrulanması üzerine odaklanan ALPHA projesini tanıtan Tao, üç yıl için 5 milyon dolarlık DARPA hibesi aldıklarını bildirdi. Proje, nöro-sembolik otomasyon yoluyla matematiksel keşifleri biçimsel kanıtlara dönüştürmeyi ve hata payını sıfırlayan bir doğrulama kütüphanesi oluşturmayı hedefliyor. Yapay zekayı düşük kaliteli bir su hortumuna benzeten Tao, biçimsel doğrulama yazılımlarının bu suyu içilebilir kılan filtreler gibi çalıştığını ve yalnızca doğrulanmış çıktıların kabul edilmesi gerektiğini vurguladı.
Yapay zekanın aşırı kullanımının zihinsel becerileri geriletebileceği uyarısında bulunan Tao, iş dünyasındaki kapıcı yanılgısına atıf yaparak matematikçilerin yalnızca problem çözmediğini hatırlattı. Matematikçilerin yeni kuşakları yetiştirdiğini, nicel düşünme becerisi kazandırdığını ve farklı disiplinler arasında köprü kurduğunu dile getiren Tao, temel bilimlere yönelik kamu fonlarının korunması gerektiğini ifade etti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.