Şirket, lise düzeyindeki geometri problemlerini çözebilen yeni bir yapay zeka sistemi geliştirdiğini açıkladı.
Geometri, matematiğin en eski dallarından biri olmakla birlikte, yapay zeka sistemlerinin bu alandaki çalışmaları oldukça zorlu hale getiriyor. Veri eksikliği nedeniyle bu sistemleri eğitmek zor ve başarı, karmaşık mantık problemleriyle başa çıkabilen bir sistem oluşturmayı gerektiriyor.
Mühendisler genellikle bu tür sistemleri eğitmek için makine öğrenimini kullanır; ancak özellikle geometride, insanların çözdüğü teoremleri ispatlamak için erişilebilir örnekler sınırlıdır.
Bu zorluğun üstesinden gelmek için araştırmacılar, AlphaGeometry adlı yeni bir sistem oluşturmak için farklı bir yaklaşım benimsediklerini belirtiyorlar. Milyonlarca teorem ve ispatlarını sentezleyebilen bir dil modeli kullandılar ve ardından bu yeteneği, zorlu problemlerde sapma noktalarını arayabilen bir sistemle birleştirdiler.
Araştırmacılara göre, bu sistem, insan girdisi olmadan karmaşık geometrik problemleri öğrenip çözebiliyor. AlphaGeometry, Uluslararası Matematik Olimpiyatı yarışmasında lise öğrencilerine yöneltilen 30 problemi test etmek için kullanıldığında, bu problemlerin 25'ini başarıyla çözebildi.
