OpenAI’ın yeni akıl yürütme modeli, 80 yıllık ünlü bir matematik varsayımını çürüten özgün bir kanıt geliştirdi. Matematikçiler kanıtı doğrularken, gelişmenin yapay zeka kapasitesi vurgulandı.
OpenAI, 1946’da Paul Erdős tarafından ortaya atılan ve bugüne dek çözülemeyen ünlü bir matematik varsayımını çürüten özgün bir kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme modeli, geometri alanındaki bu 80 yıllık problemi ele aldı.
OpenAI, daha önceki bir girişiminde yaşanan aksaklıklara rağmen bu kez matematik dünyasından destek aldı. Şirket, duyurusunda Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı doğrulayan açıklamalarına yer verdi. 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 önemli bir problemi otonom olarak çözdüğü ilk örnek olarak kayıtlara geçiyor. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini ve spesifik bir problem çözme sistemi olmadığını vurguladı.
Başarının, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini yönetme ve alanlar arası fikirleri birleştirme kapasitesini gösterdiği belirtiliyor. Bu durumun biyoloji, fizik, mühendislik ve tıp gibi alanlarda da önemli yansımaları olması bekleniyor.
Matematikçi Thomas Bloom, “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?” diyerek yapay zekanın matematiksel keşiflerdeki potansiyeline dikkat çekti.
