OpenAI’dan 80 Yıllık Matematik Varsayımını Çürüten Orijinal Kanıt
OpenAI’ın yeni akıl yürütme modeli, 80 yıllık ünlü bir matematik varsayımını çürüten orijinal bir kanıt üreterek yapay zekanın matematiksel keşiflerdeki rolünü yeniden tanımlıyor.
OpenAI, geometri alanında 1946’da Paul Erdős tarafından ortaya atılan ve bugüne kadar çözülemeyen ünlü bir varsayımı çürüten orijinal bir matematiksel kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme (reasoning) modeli, bu alanda önemli bir ilerleme kaydetti.
Matematik Dünyasında Yeni Bir Dönem
OpenAI’ın eski başkan yardımcısı Kevin Weil, yedi ay önce GPT-5’in 10 Erdős problemine çözüm bulduğunu öne sürmüştü. Ancak bu iddia, GPT-5’in yalnızca mevcut çözümleri bulduğu ortaya çıkınca geri çekilmişti. Rakip isimlerin eleştirileri üzerine Weil paylaşımını silmek zorunda kalmıştı.
Bu kez OpenAI, yeni 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ında önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk sefer olarak kayıtlara geçiyor. OpenAI, bu 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 birleştirebilme 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şiflerde yardımcı olduğunu belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu sordu.
Yorum Yap