Google Deepmind, yeni bir yapay zeka sisteminin yapay zeka için en zor testlerden birinde büyük atılım gerçekleştirdiğini söylüyor.
Şirket, geometri problemlerini en iyi lise öğrencileri düzeyinde çözebilen yeni bir yapay zeka sistemi yarattığını belirtiyor.
Geometri matematiğin en eski dallarından biri ancak yapay zeka sistemlerinin üzerinde çalışmasının özellikle zor olduğu görülüyor. Veri eksikliği nedeniyle onları eğitmek zor ve başarı, zorlu mantık problemlerinin üstesinden gelebilecek bir sistem oluşturmayı gerektiriyor.
Mühendisler bu tür sistemleri genellikle makine öğrenimini kullanarak eğitiyor, bu da onlara bir görevi nasıl başarıyla tamamlayacaklarına dair veriyi sağlıyor ve bunu nasıl yapacaklarını öğretiyor. Ancak özellikle geometride, insanların ortaya koyduğu ve teoremleri kanıtlamak için erişilebilecek örnekler çok az.
Araştırmacılar bunun yerine, AlphaGeometry denen yeni sistemi oluşturmak için farklı bir yaklaşım kullandıklarını söylüyor. Milyonlarca teorem ve bunların ispatlarını sentezleyerek kendini eğitebilen bir dil modeli kullandılar ve daha sonra bunu zorlu problemlerdeki sapma noktalarını arayabilen bir sistemle birleştirdiler.
Yaratıcıların iddiasına göre, bu sistem birlikte ele alındığında karmaşık geometrik problemleri insan girdisi olmadan öğrenip çözebiliyor.
Sistem, en iyi performans gösteren lise öğrencilerinden matematik teoremlerini kanıtlamalarının istendiği Uluslararası Matematik Olimpiyatı yarışmasından 30 problemle test edildi. AlphaGeometry bunlardan 25 tanesini çözmeyi başardı.
Bu, yalnızca 10 problemi çözebilen bir önceki en iyi yöntemden çok daha iyi. Bu 25,9 teorem çözen ortalama altın madalya sahibine de yaklaşıyor.
Araştırmacılar, sistemin ayrıca kanıtları insanların anlayabileceği şekilde sunabildiğini ve hatta bir teoremin yeni bir versiyonunu bulduğunu söyledi.
Sistem halihazırda sadece belirli geometri türlerinde kullanılabiliyor. Ancak araştırmacılar, sistemin nihayetinde matematiğin farklı dallarında da kullanılabileceğini söylüyor.
Son zamanlardaki yapay zeka heyecanının odak noktası ChatGPT gibi büyük dil modelleri olsa da Deepmind, öncelikle yapay zekanın daha pratik kullanımlarına odaklanıyor. Örneğin hava tahmini ve matematiğin diğer bölümlerindeki son atılımlar da buna dahil.
Çalışma, Nature akademik dergisinde yayımlanan "Solving olympiad geometry without human demonstrations" (İnsan örnekleri olmadan olimpiyat düzeyinde geometri çözmek) başlıklı yeni bir makalede anlatılıyor.
Independent Türkçe
