Google’ın yapay zeka birimi Deepmind, karmaşık matematiksel problemleri başarıyla çözebilen AlphaProof ve AlphaGeometry 2 adlı iki yeni yapay zeka sistemini tanıttı ve bu, yapay zeka gelişiminde önemli bir kilometre taşı oldu. Reuters raporlar .
Günümüzün yapay zeka modelleri, kalıpları tanıyarak ve istatistiksel olarak örneğin üretilmesi gereken bir sonraki kelimeyi tahmin ederek çalışır. Ancak bu, soyut matematiği ele almak için yeterli değildir, bunun yerine insan zekasına daha çok benzeyen bir şekilde akıl yürütebilen bir sistem gerektirir.
AlpaProof ve AlphaGeometry 2, bu yılki Uluslararası Matematik Olimpiyatı’nda (IMO) altı sorudan dördünü çözmeyi başardı. Bir soru sadece birkaç dakikada çözüldü; diğerlerinin çözülmesi üç güne kadar sürdü, bu da yarışmanın izin verdiğinden daha uzun. AlpaProof ayrıca, 600 insan katılımcıdan sadece beşinin başardığı yarışmanın en zor problemini çözmeyi başardı.
