OpenAI, 80 yıllık Paul Erdős varsayımını çürüten orijinal matematiksel kanıtıyla yapay zekanın matematik alanındaki otonom çözüm kapasitesini gösterdi.
OpenAI, geometri alanında 1946’dan beri çözülemeyen Paul Erdős varsayımını çürüten orijinal bir matematiksel kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme modeli tarafından geliştirilen kanıt, yaklaşık 80 yıldır süregelen matematiksel bir inanışı yıktı.
Bu gelişme, OpenAI’ın yedi ay önceki benzer bir iddiasının ardından geldi. Şirket, eski başkan yardımcısı Kevin Weil’in GPT-5’in 10 Erdős problemine çözüm bulduğu yönündeki paylaşımı daha sonra çürütülmüştü. Bu kez şirket, Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınlayarak iddialarını güçlendirdi.
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ı.
Şirkete göre bu, yapay zekanın matematik alanındaki önemli bir problemi otonom olarak çözdüğü ilk olay olarak kayıtlara geçiyor. Kanıtın, genel amaçlı bir akıl yürütme modelinden gelmesi de dikkat çekiyor.
Bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini sürdürebilme ve alanlar arası fikirleri sentezleyebilme kapasitesini gösteriyor. 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şiflere yardımcı olduğunu 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?’ şeklinde konuştu.
