İçeriğe atla

AlphaGeometry

Vikipedi, özgür ansiklopedi

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]

AlphaGeometry 2

[değiştir | kaynağı değiştir]

AlphaGeometry 2, AlphaGeometry'nin geliştirilmiş bir versiyonudur ve IMO 2024'ün 4. problemini sadece 19 saniyede çözmüştür.[6]

  1. ^ "AlphaGeometry: An Olympiad-level AI system for geometry". Deepmind. 25 Ocak 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 26 Ocak 2024. 
  2. ^ "A.I.'s Latest Challenge: the Math Olympics". The New York Times. 25 Ocak 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 26 Ocak 2024. 
  3. ^ "Solving olympiad geometry without human demonstrations". Nature. 25 Ocak 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 26 Ocak 2024. 
  4. ^ "Google DeepMind's new AI system can solve complex geometry problems". MIT Technology Review. 17 Ocak 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 26 Ocak 2024. 
  5. ^ Zia, Tehseen (24 Ocak 2024). "AlphaGeometry: DeepMind's AI Masters Geometry Problems at Olympiad Levels". Unite.ai. 3 Mayıs 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mayıs 2024. 
  6. ^ "AI achieves silver-medal standard solving International Mathematical Olympiad problems". Deepmind. 6 Ağustos 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 15 Ağustos 2024.