OpenAI, 80 yıllık Paul Erdős varsayımını çürüten orijinal matematiksel kanıt ürettiğini duyurdu. Yapay zeka şirketi, bu alanda bir ilke imza attı.
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. Yapay zeka şirketi, yeni akıl yürütme modelinin geometri alanındaki bu problemi çözdüğünü açıkladı.
Şirket daha önce de benzer bir iddiada bulunmuştu. OpenAI’ın eski başkan yardımcısı Kevin Weil, GPT-5’in çözülmemiş 10 Erdős problemine çözüm bulduğunu öne sürmüştü. Ancak sonradan GPT-5’in yalnızca literatürdeki mevcut çözümleri bulduğu ortaya çıkmıştı. Bu durum, rakip isimlerin eleştirilerine ve Weil’in paylaşımını silmesine neden olmuştu.
OpenAI, bu kez farklı bir yaklaşım sergiledi. Şirket, duyurusuyla birlikte Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladı. 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 gelişme, yapay zekanın matematik alanının merkezindeki önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk sefer olarak kayıtlara geçiyor. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğinin altını çiziyor.
Bu başarının, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri bağlayabilme kapasitesini göstermesi açısından kritik olduğu belirtiliyor. Şirket, 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, “Başka hangi görünmeyen harikalar sırada bekliyor?” şeklinde konuştu.
