OpenAI’ın akıl yürütme modeli, 80 yıllık Paul Erdős varsayımını çürüten yeni bir matematiksel kanıt üreterek yapay zekanın alandaki otonom problem çözme kapasitesini gösterdi.
OpenAI, 1946 yılında Paul Erdős tarafından ortaya atılan ve bugüne dek çö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 problemi ele aldı.
Daha önce benzer bir iddia ile gündeme gelen OpenAI, bu kez önde gelen matematikçilerden destek aldı. Eski başkan yardımcısı Kevin Weil’in yedi ay önceki GPT-5 ile ilgili iddiaları eleştirilere yol açmış, ancak bu kez Noga Alon, Melanie Wood ve Thomas Bloom gibi isimler OpenAI’ın yeni kanıtını doğruladı.
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ı.
Bu gelişme, yapay zekanın matematik alanında otonom olarak önemli bir problemi çözdüğü ilk vakıa olarak kayıtlara geçiyor. Kanıtın, genel amaçlı bir akıl yürütme modelinden gelmesi dikkat çekiyor.
Yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve farklı alanlardaki fikirleri birleştirebilme kapasitesi bu başarıyla öne çıkıyor. 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ş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?” dedi.
