Şirket, geometri problemlerini en iyi lise öğrencileri düzeyinde çözebilen yeni bir yapay zeka sistemi geliştirdiğini duyurdu.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.Araştırmacı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ı.
