OpenAI’ın yeni akıl yürütme modeli, 80 yıllık Paul Erdős varsayımını çürüten matematiksel bir kanıt üreterek yapay zekanın otonom problem çözme yeteneğini gözler önüne serdi.
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 (reasoning) modeliyle elde edilen bu başarı, matematik dünyasında önemli bir gelişme olarak kayıtlara geçti.
OpenAI’ın bu kez daha temkinli olduğu ve duyuruyla birlikte önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladığı belirtildi. Noga Alon, Melanie Wood ve Thomas Bloom gibi isimler, yapay zeka tarafından üretilen kanıtın geçerliliğini onayladı. OpenAI, X platformunda yaptığı açıklamada, modelin yaklaşık 80 yıldır matematikçilerin inandığı kabaca kare ızgaralara benzeyen en iyi çözümlerin ötesine geçerek yeni bir yapı ailesi keşfettiğini belirtti.
Şirkete göre bu gelişme, yapay zekanın matematik alanının merkezinde yer alan önemli bir problemi otonom olarak çözdüğü ilk vaka olma özelliğini taşıyor. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğinin altını çizerek, bu durumun yapay zeka sistemlerinin uzun akıl yürütme zincirlerini yönetme ve alanlar arası fikirleri birleştirme kapasitesini gösterdiğini vurguladı. Bu potansiyel, biyoloji, fizik, mühendislik ve tıp gibi alanlar için de önemli yansımalar barındırıyor.
Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde önemli bir rol oynayabileceğini 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?” ifadelerini kullandı.
