OpenAI, 80 Yıllık Erdős Varsayımını Çürüten Matematiksel Kanıt Üretti

OpenAI, 1946 yılında matematikçi Paul Erdős tarafından ortaya konan ve yaklaşık 80 yıldır çözülemeyen ünlü bir varsayımı çürüten orijinal bir matematiksel kanıt ürettiğini duyurdu. Şirket, bu başarıyı yeni bir genel amaçlı akıl yürütme modeli aracılığıyla gerçekleştirdiğini belirtti. Bu gelişme, yapay zekanın matematik alanında otonom problem çözme kapasitesini sergilemesi açısından kritik önem taşıyor.

Önceki Hatalı İddia ve Bu Kezki Doğrulama

Bu gelişme, teknoloji dünyasına yabancı gelmeyebilir; zira OpenAI yedi ay önce de benzer bir iddiada bulunmuştu. Şirketin eski başkan yardımcısı Kevin Weil, X platformunda yaptığı bir paylaşımda GPT-5’in daha önce çözülmemiş Erdős problemlerine çözüm bulduğunu öne sürmüştü.

Ancak kısa süre sonra GPT-5’in aslında bu problemleri çözmediği, yalnızca literatürde var olan çözümleri bulduğu ortaya çıktı. Bu olayın ardından Yann LeCun ve Google DeepMind CEO’su Demis Hassabis gibi rakip isimler eleştirilerini dile getirdi ve Weil erken yaptığı bu paylaşımı silmek durumunda kaldı.

Bu kez farklı olarak OpenAI, duyurusuyla birlikte önde gelen matematikçilerin kanıtı destekleyen açıklamalarını da yayınladı. Noga Alon, Melanie Wood ve Erdős Problemleri web sitesinin yöneticisi Thomas Bloom, yeni kanıtı doğrulayan isimler arasında yer aldı. Thomas Bloom, daha önce Weil’in paylaşımını “dramatik bir yanlış beyan” olarak nitelendirmişti.

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ı.

Yapay Zeka Destekli Akıl Yürütmenin Yeni Ufukları

Şirket, bu gelişmeyi yapay zekanın matematik alanının merkezinde yer alan önemli ve çözülememiş bir problemi otonom olarak çözdüğü “ilk sefer” olarak kaydetti. OpenAI, bu kanıtın sadece matematik veya bu spesifik problemi çözmek için tasarlanmış bir sistemden ziyade, yeni bir genel amaçlı akıl yürütme modelinden geldiğini vurguladı.

Bu başarı, yapay zeka sistemlerinin artık uzun ve zorlu akıl yürütme zincirlerini bir arada tutabilme kapasitesini gösteriyor. Araştırmacıların daha önce keşfetmemiş olabileceği yollarla alanlar arası fikirleri birbirine bağlayabilme yeteneği açısından da kritik önem taşıyor.

OpenAI, bu durumun biyoloji, fizik, mühendislik ve tıp gibi birçok farklı alan için önemli yansımaları olacağını öngörüyor. Matematikçi Thomas Bloom ise, “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.