OpenAI, 80 yıllık ünlü matematik varsayımını çürüten orijinal bir kanıt geliştirdi. Şirketin yeni akıl yürütme modeli, geometri alanındaki bu temel problemi ele alıyor.
OpenAI, 1946 yılında Paul Erdős tarafından ortaya atılan ve 80 yıldır çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme modeli tarafından geliştirilen kanıt, geometri alanındaki bu temel problemi ele alıyor.
OpenAI, bu yeni gelişmenin daha önceki bir iddiadan farklı olduğunu vurguladı. Şirket, eski başkan yardımcısı Kevin Weil’in GPT-5’in Erdős problemlerine çözüm bulduğu yönündeki önceki açıklamasının hatalı olduğu ortaya çıkmıştı. Bu kez şirket, Noga Alon ve Melanie Wood gibi önde gelen matematikçilerin yanı sıra Thomas Bloom gibi isimlerin de kanıtı destekleyen açıklamalarını paylaştı.
OpenAI, X platformunda yaptığı açıklamada, yaklaşık 80 yıldır süregelen matematikçilerin kabaca kare ızgaralara benzeyen çözümlerin en iyisi olduğuna dair inancının yeni model tarafından çürütüldüğünü belirtti. Model, daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfetti.
Şirkete göre bu durum, yapay zekanın matematik alanında otonom olarak önemli ve çözülememiş bir problemi çözdüğü ilk vaka olma özelliğini taşıyor. Bu kanıtın, genel amaçlı bir akıl yürütme modelinden gelmesi de dikkat çekiyor.
Bu başarının, yapay zeka sistemlerinin uzun ve zorlu akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri yeni yollarla bağlayabilme kapasitesini gösterdiği belirtiliyor. OpenAI, bu durumun biyoloji, fizik, mühendislik ve tıp gibi alanlar için de önemli yansımaları olacağını öngörüyor.
Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerdeki rolüne işaret ederek, “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?” ifadelerini kullandı.
Yorum Yap