OpenAI, 80 yıllık matematik varsayımını çürüten orijinal bir kanıt üretti. Yeni akıl yürütme modeliyle elde edilen başarı, yapay zekanın otonom problem çözme kapasitesini gözler önüne seriyor.
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 bu kanıt, geometri alanındaki temel bir soruna yeni bir bakış açısı getiriyor.
Bu gelişme, şirketin yaklaşık yedi ay önce GPT-5 ile benzer bir iddiada bulunmasının ardından geldi. O dönemde OpenAI eski başkan yardımcısı Kevin Weil, GPT-5’in çözülmemiş Erdős problemlerine çözüm bulduğunu öne sürmüştü. Ancak daha sonra bu çözümlerin literatürde zaten var olduğu ortaya çıkmıştı.
OpenAI, bu kez matematik dünyasından önde gelen isimlerin kanıtı doğrulayan açıklamalarını yayınladı. Noga Alon ve Melanie Wood gibi matematikçilerin yanı sıra, daha önceki iddiaları eleştiren Thomas Bloom da yeni kanıtı desteklediğini belirtti. OpenAI, X platformunda yaptığı açıklamada, modelin kabaca kare ızgaralara benzeyen eski çözümlerden daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfettiğini ifade etti.
Şirkete göre bu başarı, yapay zekanın matematik alanındaki önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk örnek olma niteliği taşıyor. OpenAI, bu kanıtın genel amaçlı bir akıl yürütme modelinden geldiğinin altını çizerek, yapay zeka sistemlerinin uzun ve zorlu akıl yürütme zincirlerini yönetebilme ve alanlar arası fikirleri birleştirebilme kapasitesini gösterdiğini vurguladı.
Bu ilerlemenin biyoloji, fizik, mühendislik ve tıp gibi çeşitli alanlar için önemli yansımaları olacağı öngörülüyor. Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde yeni yollar açtığını belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusuyla geleceğe işaret etti.
