AlphaGeometry

AlphaGeometry, Google DeepMind tarafından geliştirilen ve Öklidyen geometri alanında zor problemleri çözebilen bir yapay zekâ (AI) programı. Program, Uluslararası Matematik Olimpiyatı'nda (IMO) verilen 30 geometri probleminden 25'ini, yarışma süresi içinde çözerek altın madalyaya eşdeğer bir performans göstermiştir. Karşılaştırma olarak, önceki yapay zekâ programı olan Wu's method, bu problemlerden yalnızca 10 tanesini çözebilmişti.^[1]^[2]

DeepMind, 17 Ocak 2024'te, AlphaGeometry hakkında, Nature dergisinde bir makale yayımlamıştır.^[3] AlphaGeometry aynı gün MIT Technology Review dergisinde de yer almayı başarmıştır.^[4]

Geleneksel geometri programları, yalnızca insan tarafından kodlanmış kural tabanlı sistemlere dayanan sembolik motorlardan oluşmaktadır ve bu nedenle alışılmadık durumlarda esneklikten yoksun olmaktadır. AlphaGeometry, bu tür bir sembolik motoru, geometrik kanıtların sentetik verisi üzerinde eğitilmiş özel bir geniş dil modeli ile birleştirmektedir. Sembolik motor, kendi başına resmi ve titiz bir kanıt bulamadığında, geniş dil modeline başvurarak ilerlemeye yönelik bir geometrik yapı önerir. Ancak, bu yöntemin diğer matematik veya akıl yürütme alanlarına ne kadar uygulanabilir olduğu belirsizdir, çünkü sembolik motorlar alana spesifik kurallara dayanır ve sentetik veri ihtiyacı bulunmaktadır.^[5]