OpenAI Matematik Varsayımını Çürüttü 80 Yıllık Problem Çözüldü

OpenAI, geometri alanında 1946’dan beri çözülemeyen bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme modeli, Paul Erdős tarafından ortaya atılan bu problemi çözerek önemli bir başarıya imza attı.

OpenAI daha önce de benzer bir iddiada bulunmuştu. Yedi ay önce eski başkan yardımcısı Kevin Weil, GPT-5’in çözülememiş Erdős problemlerine çözüm bulduğunu öne sürmüştü. Ancak daha sonra GPT-5’in literatürdeki mevcut çözümleri bulduğu anlaşıldı. Bu durum, rakip isimlerin eleştirilerine ve Weil’in paylaşımını silmesine neden olmuştu.

Yapay Zeka Matematikte Yeni Bir Çığır Açıyor

Bu kez OpenAI, duyurusuyla birlikte önde gelen matematikçilerin kanıtı destekleyen açıklamalarını da yayınladı. Şirket, yaklaşık 80 yıldır matematikçilerin kare ızgaralara benzeyen en iyi çözümlerin bu varsayımı çürüttüğünü belirtti. Keşfedilen yeni yapı ailesi, mevcut inançları geçersiz kılıyor.

Bu gelişme, yapay zekanın matematik alanında otonom olarak karmaşık bir problemi çözdüğü ilk örnek olarak kayıtlara geçiyor. OpenAI, bu başarının genel amaçlı bir akıl yürütme modelinden geldiğini vurguluyor. Bu durum, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini yönetebilme ve alanlar arası fikirleri birleştirebilme kapasitesini gösteriyor.

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?” sorusunu dile getirdi. Bu başarı, biyoloji, fizik, mühendislik ve tıp gibi alanlarda da önemli yansımalar yaratması bekleniyor.