Yapay Zeka Matematikte Keşfedilmemiş Modelleri Keşfediyor

Yapay zekanın yapabileceklerine bir yenisi daha eklendi: Matematik teoremlerini kanıtlamak.

Matematikçiler ve yapay zeka uzmanları, makine öğrenmesinin matematik alanında neler keşfedebileceğini bulmak için bir araya geldi. Matematikçiler modelleri keşfetmek için yıllardır bilgisayarları kullanıyor olsa da, makine öğreniminin artan gücü şunu gösterdi: Çok büyük verilerle çalışılabilir ve daha önce keşfedilmemiş modeller keşfedilebilir. 

Yeni yayımlanan bir çalışmada, bir araştırma grubu daha önce DeepMind tarafından geliştirilen, zor biyoloji problemlerini çözmek ve hava tahminlerinin doğruluğunu artırmak için  kullanılan yapay zeka sistemlerini, uzun süredir devam eden bazı matematik problemlerini çözmek için de kullandı.

Avustralya’daki Sidney Üniversitesi’nden Matematikçi Geordie Williamson yaptıkları çalışma için şu açıklamayı yaptı: “Matematikteki problemler, yaygın olarak, entelektüel açıdan en zorlayıcı problemlerden bazıları olarak kabul edilir. Matematikçiler karmaşık veri kümelerinin analizi için daha önceden makine öğrenimini kullanırken, bu sefer, matematikte varsayımları formüle etmek veya kanıtlanmamış fikirler konusunda yardımcı olması için bilgisayarları ilk kez kullandı.”

Kazhdan-Lusztig Polinomları için Yapay Zeka

Araştırma grubu, 40 yıldır çözülememiş ve yüksek boyutlu cebirin simetrisini içeren bir matematik problemi olan Kazhdan-Lusztig polinomları için bir kanıt geliştiren yapay zekayı örnek gösteriyor. Araştırma ayrıca, denetimli öğrenme modeli olarak adlandırılan bir makine öğrenimi tekniğinin, iki farklı matematiksel düğüm türü arasında daha önce keşfedilmemiş bir ilişkiyi nasıl tespit edip yeni bir teoremi ortaya koyduğunu da gösterdi.

Matematikteki düğüm teorisi; genetik, akışkanlar dinamiği ve hatta Güneş’in koronasının davranışı dahil olmak üzere diğer çeşitli zor bilim dallarında da önemli bir rol oynuyor. Yapay zekanın yaptığı bu keşifler diğer araştırma alanlarının da gelişmesini sağlayabilir.

Daha fazla bilgi için tıklayınız.

Fatma Nur Yokuş

Recent Posts

Türkiye’deki Yapay Zeka Girişimlerinin Sayısı 8 yılda 17 katına çıktı

2017’de başladığımız haritalama çalışmasıyla, Türkiye’de yapay zekâ alanında faaliyet gösteren girişimleri düzenli olarak takip ediyoruz.…

10 saat ago

Açık Kaynak Multimodal Zeka İçin Yeni Oyuncu: BAGEL

Yapay zeka alanındaki gelişmeler hızla ilerlerken, multimodal modellere yönelik açık kaynaklı bir alternatif olan BAGEL…

3 hafta ago

DeepSeek’ten Dikkat Çeken Hamle

Çin merkezli yapay zeka girişimi DeepSeek, R1 adlı akıl yürütme modelinin güncellenmiş sürümünü resmi bir…

3 hafta ago

Google I/O 2025’te Öne Çıkanlar

Google, I/O 2025 etkinliğiyle birlikte yapay zeka merkezli ürün ve hizmetlerinde kapsamlı bir dönüşüm sürecine…

4 hafta ago

93. TRAI Meet-Up’ta Havacılık ve Lojistik’teki Yapay Zeka Destekli Akıllı Çözümler Konuşuldu

Her ayın üçüncü çarşamba akşamı düzenlediğimiz TRAI Meet-Up serisinin 93'üncüsü yoğun bir katılımla gerçekleşti. Bu…

4 hafta ago

Kayacan Ventures 100 Yapay Zeka Girişimine Yatırım Yapacak

Kayacan Ventures Yönetim Kurulu Başkanı Ulaş Kayacan, Türkiye’nin yapay zeka odaklı teknoloji ekosistemini büyütme vizyonuyla…

1 ay ago