OpenAI’ın yeni akıl yürütme modeli, 1946’dan beri çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt üreterek matematik dünyasında yankı uyandırdı.
OpenAI, 1946’da Paul Erdős tarafından ortaya atılan ve yaklaşık 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 (reasoning) modeli, geometri alanındaki bu zorlu problemi ele aldı.
OpenAI, bu kez daha önceki bir iddiayı tekrarlamadı. Yedi ay önce GPT-5’in 10 Erdős problemini çözdüğü öne sürülmüş, ancak bu çözümlerin literatürde mevcut olduğu ortaya çıkmıştı. Eski başkan yardımcısı Kevin Weil’in bu paylaşımı, rakip isimlerden eleştiri almıştı.
Şirket, yeni duyurusunda önde gelen matematikçilerin kanıtı destekleyen açıklamalarına yer verdi. Noga Alon ve Melanie Wood gibi isimler, Thomas Bloom gibi matematikçiler OpenAI’ın bulgularını doğruladı. OpenAI, X platformunda yaptığı açıklamada, modelin kabaca kare ızgaralara benzeyen çözümlerin en iyisi olduğuna dair 80 yıllık inancı çürüttüğünü belirtti.
Bu gelişme, yapay zekanın matematik alanında otonom olarak önemli bir problemi çözdüğü ilk vaka olarak kayıtlara geçiyor. OpenAI, bu başarının genel amaçlı bir akıl yürütme modelinden geldiğini vurguladı.
Şirkete göre bu durum, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri birbirine bağlayabilme kapasitesini gösteriyor. Bu yeteneğin biyoloji, fizik, mühendislik ve tıp gibi alanlarda önemli yansımaları olacağı öngörülüyor.
Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflere yardımcı olduğunu belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu dile getirdi.
Yorum Yap