OpenAI’ın yeni akıl yürütme modeli, 80 yıldır çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt üretti. Yapay zeka tarihte ilk kez otonom olarak önemli bir matematik problemini çözdü.
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) modeli, geometri alanındaki bu problemi çözerek tarihe geçti.
OpenAI’ın eski başkan yardımcısı Kevin Weil, daha önce GPT-5’in çözülmemiş Erdős problemlerine çözüm bulduğunu iddia etmiş ancak bu iddia sonradan çürütülmüştü. Bu kez şirket, Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarıyla birlikte duyuru yaptı. OpenAI, X platformunda yaptığı açıklamada, modelin kare ızgaralara benzeyen çözümler yerine tamamen yeni bir yapı ailesi keşfederek matematikçilerin 80 yıllık inancını çürüttüğünü belirtti.
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. Kanıtın, genel amaçlı bir akıl yürütme modelinden gelmesi dikkat çekiyor. Bu durum, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri birleştirebilme kapasitesini gösteriyor.
Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde yeni yollar açabileceğ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ı. Bu başarının biyoloji, fizik, mühendislik ve tıp gibi alanlar için de önemli yansımaları olacağı öngörülüyor.
