OpenAI, Paul Erdős tarafından 1946’da 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, geometri alanındaki bu köklü problemi ele aldı.
OpenAI, daha önce GPT-5 ile ilgili benzer iddialarda bulunmuş ancak bu iddialar çürütülmüştü. Eski başkan yardımcısı Kevin Weil’in paylaştığı 10 Erdős problemine çözüm bulunduğu ve 11 diğerinde ilerleme kaydedildiği bilgisi, sonradan literatürdeki mevcut çözümlerin bulunmasıyla tartışmalara yol açmıştı. Bu durum, Yann LeCun ve Demis Hassabis gibi isimlerin eleştirilerine neden olmuştu.
Ancak bu kez OpenAI, Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarıyla birlikte bir duyuru yaptı. Şirket, “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” açıklamasında bulundu.
Bu gelişme, yapay zekanın matematik alanında otonom olarak önemli ve çözülememiş bir problemi çözdüğü ilk örnek olarak kayıtlara geçiyor. OpenAI, bu kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini vurguladı. Bu durum, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutma ve alanlar arası fikirleri yeni yollarla birleştirme kapasitesini gösteriyor.
Şirket, bu başarının 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 “yüzyıllar boyunca inşa ettiğimiz matematik katedralini daha kapsamlı bir şekilde keşfetmemize yardımcı olduğunu” belirtti.
