OpenAI 80 Yıllık Matematik Varsayımını Çürüttü
OpenAI’ın yeni akıl yürütme modeli, 80 yıllık ünlü bir matematik varsayımını çürüten orijinal bir kanıt geliştirdi. Başarı doğrulanmış matematikçiler tarafından desteklendi.
OpenAI, geometri alanında 1946’da Paul Erdős tarafından ortaya atılan ve bugüne dek çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme (reasoning) modeli tarafından geliştirilen bu kanıt, matematik dünyasında önemli bir gelişme olarak kabul ediliyor.
Yapay Zeka Matematikte Yeni Bir Dönemi Başlatıyor
OpenAI’ın bu başarısı, geçmişteki benzer iddialarının aksine, doğrulanmış matematikçilerin desteğiyle paylaşıldı. Şirket, duyurusuyla birlikte Noga Alon ve Melanie Wood gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladı. Ayrıca, daha önce OpenAI’ın bir paylaşımını eleştiren Thomas Bloom da bu kez kanıtı olumlu değerlendirdi.
OpenAI, X platformunda yaptığı açıklamada, “Yaklaşık 80 yıldır matematikçiler, olabilecek en iyi çözümlerin kabaca kare ızgaralara benzediğine inanıyordu. Bir OpenAI modeli artık bu inancı çürüttü ve daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfetti” ifadelerini kullandı.
Bu gelişme, yapay zekanın matematik alanında otonom olarak önemli ve çözülememiş bir problemi çözdüğü ilk vaka olarak kayıtlara geçiyor. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini vurgulayarak, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini yönetme ve alanlar arası fikirleri birleştirme kapasitesini gösterdiğini belirtti.
Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde yeni yollar açtığını belirterek, “Yapay zeka, yüzyıllar boyunca inşa ettiğimiz matematik katedralini daha kapsamlı bir şekilde keşfetmemize yardımcı oluyor. Başka hangi görünmeyen harikalar sırada bekliyor?” dedi. Bu gelişmenin biyoloji, fizik, mühendislik ve tıp gibi alanlar için de önemli yansımaları olması bekleniyor.
Yorum Yap