Google DeepMind'in AI sistemleri artık karmaşık matematik problemlerini çözebiliyor

1. Google DeepMind, AlphaProof ve AlphaGeometry 2 adlı iki AI sistemi geliştirdi. Bu sistemler, ileri düzeyde akıl yürütme gerektiren karmaşık matematik problemlerini çözebiliyorlar. 2. Bu sistemler birlikte çalışarak Uluslararası Matematik Olimpiyatı (IMO) yarışmasındaki altı problemadan dördünü çözdüler ve gümüş madalya aldılar. 3. Bu, herhangi bir AI sisteminin bu tür problemlerde elde ettiği en yüksek başarı oranıdır. 4. İleri düzeyde akıl yürütme gerektiren matematik problemleri, AI sistemleri için zor çünkü soyutlamaları oluşturma, karmaşık hiyerarşik planlama ve alt hedefler belirleme gerektirirler. 5. AlphaProof, Lean adlı formal programlama dilinde matematik ifadelerin kanıtlanmasını sağlayan bir güçlendirme-öğrenme tabanlı sistemdir. 6. Gemini AI, doğal dilde olan matematik problemlerini otomatik olarak formal ifadeler haline getirerek büyük bir formal matematik problemi kütüphanesi oluşturan bir sistemdir. 7. Bu sürecin otomatik hale getirilmesi, matematik topluluğu için büyük bir adımdır. Bu sayede yayınlanan sonuçların doğruluğuna daha fazla güvenilir ve daha fazla işbirliği yapılabilir. 8. AlphaGeometry 2, geometri problemleriyle ilgili olarak optimize edildi ve önceki versiyonundan çok daha fazla sentetik veri üzerinde eğitildi. 9. İki ünlü matematikçi, sistemlerin gönderdiği çözümleri kontrol etti ve toplamda 42 puanın 28 puanını verdi. Bu, bir insan katılımcıya gümüş madalya kazandıracak olan bir skordur. 10. Daha zor matematik problemlerini çözebilen AI sistemleri oluşturmak, heyecan verici insan-AI işbirliklerini ve matematiği nasıl ele aldığımız hakkında daha fazla bilgi edinmemize yardımcı olabilir.