Uluslararası Matematik Olimpiyatı Düzeyindeki Kanıt Teoremlerini Çözen AI Sistemi Tanıtıldı
Google'ın yapay zeka araştırma birimi DeepMind, karmaşık geometri problemlerini ve matematiksel kanıt teorem modellerini çözmek üzere tasarlanan yapay zeka sistemi "AlphaGeometry 2"yi duyurdu. Yeni nesil sistem, lise düzeyindeki Uluslararası Matematik Olimpiyatı (IMO) geometri sorularında insan şampiyonları geride bırakan bir başarı oranı yakalayarak yapay zekanın muhakeme gücünü yeni bir boyuta taşıdı.
Sembolik Yapay Zeka ile Sinir Ağlarının Hibrit Birleşimi
AlphaGeometry 2, karmaşık örüntüleri tanıyan bir nöral dil modeli ile mantıksal kuralları katı bir şekilde uygulayan sembolik bir motoru bir arada kullanıyor. Sistem, bir geometri problemini çözerken şekil üzerindeki gizli ilişkileri otonom tespit edip yeni yardımcı noktalar ve çizgiler ekleyerek çözüme gidiyor. DeepMind araştırmacısı, "Bu model, yapay zekanın sadece tahmin yapmadığını, aynı zamanda matematiksel kesinlikte mantık yürütebildiğini kanıtlıyor" dedi.
Bilimsel Araştırma ve Eğitim Teknolojilerinde Kullanılacak
AlphaGeometry 2'nin geliştirilmesinde kullanılan kod tabanı ve veri setleri açık kaynak olarak GitHub üzerinden araştırma dünyasının erişimine açıldı. Modelin, fizik, bilgisayar grafikleri ve yapısal mühendislik gibi geometri temelli bilimsel alanlarda formül doğrulaması yapmak amacıyla kullanılması planlanıyor. Eğitimciler ise bu teknolojinin öğrencilere geometri kanıtlarını öğretmek için interaktif bir öğretmen görevi görebileceğini ifade ediyor.