Haberler

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.

Paylaş
Fatma Nur Yokuş

Son Gönderiler

Yapay Zeka Turing Testini Geçti

Yapay zeka teknolojisinde tarihi bir dönüm noktası yaşandı. OpenAI tarafından geliştirilen GPT-4.5 ve Meta’nın LLaMa-3.1… Devamı

3 saat Önce

91. TRAI Meet-Up’ta Üretken Yapay Zeka ve YZ Ajanları Konusu Konuşuldu

91. TRAI Meet-Up: 2017 yılından bu yana gerçekleştirilen TRAI Meet-Up etkinlikleri, Türkiye'nin yapay zeka ekosisteminin… Devamı

2 hafta Önce

Tek Bir GPU veya TPU Üzerinde Çalışabilen Gemma 3 Tanıtıldı

Google, yapay zeka alanındaki en son yeniliği olan Gemma 3 modelini resmi olarak duyurdu. Tek… Devamı

3 hafta Önce

Dünyanın İlk Sentetik Biyolojik Zekası CL1

Günümüz yapay zeka teknolojilerinin en büyük sınırlamalarından biri, enerji tüketimi ve öğrenme hızı gibi faktörlerdir.… Devamı

3 hafta Önce

Çin’in Kuantum Hesaplamadaki Yeni Atılımı: Zuchongzhi-3, Google’ı Geride Bıraktı

Çin’in Kuantum Hesaplamadaki Yeni Atılımı: Zuchongzhi-3, Google’ı Geride Bıraktı Çin, kuantum hesaplama alanında önemli bir… Devamı

3 hafta Önce

Çin’den Otonom Yapay Zeka Ajanı Manus

Çinli teknoloji girişimi Butterfly Effect tarafından geliştirilen Manus AI, tamamen otonom bir yapay zeka ajanı… Devamı

3 hafta Önce