OpenAI, 80 yıllık ünlü bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini duyurdu. Geliştirilen akıl yürütme modeliyle elde edilen sonuç, matematikçiler tarafından da destekleniyor.
OpenAI, geometri alanında 1946’da Paul Erdős tarafından ortaya atılan ve çö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 değerlendiriliyor.
Şirket, bu kez önceki iddialarının aksine, kanıtın önde gelen matematikçiler tarafından desteklendiğini belirtti. OpenAI, Noga Alon ve Melanie Wood gibi isimlerin yanı sıra, daha önce şirketin eski başkan yardımcısı Kevin Weil’in benzer bir iddiasını eleştiren Thomas Bloom’un da kanıtı doğrulayan açıklamalarını yayınladı. 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ı.
OpenAI’a göre bu gelişme, yapay zekanın matematik alanındaki önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk durum olma özelliğini taşıyor. Şirket, bu 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 bir arada tutabilme ve alanlar arası fikirleri yeni yollarla bağlayabilme kapasitesini gösterdiğini belirtti.
Bu başarının biyoloji, fizik, mühendislik ve tıp gibi alanlar için de önemli yansımaları olacağı öngörülüyor. Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde yeni ufuklar 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?” yorumunu yaptı.
