Yapay Zekâ Modelleri Üst Düzey Matematik Problemlerini Birer Birer Çözüyor
Yazılım dünyasının tanınmış isimlerinden Neel Somani yeni nesil dil modellerinin matematik yeteneklerini test ederken çarpıcı sonuçlara ulaştı. Somani karmaşık bir problemi sisteme aktardıktan sonra kısa sürede eksiksiz bir çözümle karşılaştı. Ortaya çıkan kanıtlar matematiksel doğrulama araçlarıyla kontrol edildiğinde sonucun tamamen hatasız olduğu anlaşıldı. Bu gelişme dijital sistemlerin soyut akıl yürütme becerilerinde yeni bir dönemin kapılarını araladı.
Erdős Problemleri Yapay Zekâ Modelleri Tarafından Çözülmeye Başlandı
Efsanevi matematikçi Paul Erdős tarafından geride bırakılan ve çözülmeyi bekleyen binlerce varsayım günümüzde teknolojik sistemlerin test sahası oldu. Noel döneminden bu yana Erdős web sitesinde yer alan on beş açık problem çözüldü statüsüne taşındı. Bu çözümlerin on bir tanesinde doğrudan akıllı yazılım modellerinin katkısı bulunduğu resmi olarak kayıtlara geçti. Uzmanlar özellikle son sürümlerin matematiksel mantık yürütme konusunda önceki nesillere göre çok daha yetenekli olduğunu belirtiyor.
Dünyanın en saygın matematikçilerinden biri olan Terence Tao bu ilerlemeyi GitHub sayfası üzerinden yakından izliyor. Tao yapay sistemlerin özellikle daha basit yapıdaki matematiksel sorunları çözmede insan müdahalesine ihtiyaç duymadan başarı sağladığını dile getirdi. Sistemlerin geniş veri setlerini tarama hızı geçmişteki araştırmaların üzerine yeni tuğlalar koyulmasını kolaylaştırıyor. Üst düzey akademisyenlerin bu araçları ciddiye alması teknolojinin güvenilirliği konusundaki kuşkuları gidermeye yardımcı oluyor.
Matematik dünyasında son yıllarda hız kazanan resmîleştirme çalışmaları yeni nesil araçlarla daha kolay bir yapıya büründü. Microsoft Research tarafından geliştirilen Lean gibi kanıt yardımcıları akıllı sistemlerle birleşerek karmaşık süreçleri otomatikleştiriyor. Bu araçlar sayesinde uzun süren ispat çalışmaları saniyeler içinde doğrulanabilir bir forma dönüşüyor. Profesörler ile bilgisayar bilimcileri itibar kaygısı gütmeden bu dijital yardımcıları aktif olarak kullandıklarını dile getiriyor. Akademik camiadaki bu değişim insan bilgisinin sınırlarını daha hızlı genişletmeyi hedefliyor.
