OpenAI’ın yeni akıl yürütme modeli, 1946’dan beri çözülemeyen ünlü bir geometri varsayımını çürüten orijinal bir matematiksel kanıt üretti.
OpenAI, geometri alanında 1946’dan beri çözülemeyen bir matematik problemini ele alan yeni akıl yürütme modelinin orijinal bir kanıt ürettiğini duyurdu. Bu gelişme, Paul Erdős tarafından ortaya atılan ünlü varsayımı çürütüyor.
Şirket daha önce de benzer bir iddiada bulunmuştu. Yedi ay önce OpenAI 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 bu çözümlerin literatürde zaten var olduğu anlaşılınca, Weil paylaşımını silmek zorunda kalmıştı.
OpenAI bu kez daha dikkatli bir yol izledi. Şirket, duyurusuyla birlikte Noga Alon ve Melanie Wood gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladı. Thomas Bloom da dahil olmak üzere uzmanlar, OpenAI’ın akıl yürütme modelinin geometrideki 80 yıllık bir inancı çürüttüğünü doğruladı.
OpenAI, X platformunda yaptığı açıklamada, modelin kabaca kare ızgaralara benzeyen en iyi çözümlerin performansını aşan yeni bir yapı ailesi keşfettiğini belirtti. Bu, yapay zekanın matematik alanında otonom olarak önemli ve çözülememiş bir problemi çözdüğü ilk olay olarak kayıtlara geçiyor.
Şirket, bu kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini vurguluyor. Bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini takip edebilme ve alanlar arası fikirleri bağlayabilme kapasitesini gösteriyor. Bu durumun biyoloji, fizik, mühendislik ve tıp gibi alanlarda da önemli etkileri olması bekleniyor.
Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde yeni yollar açtığını belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu yöneltti.
