OpenAI’dan 80 Yıllık Matematik Varsayımını Çürüten Orijinal Kanıt
OpenAI, 80 yıllık ünlü bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini açıkladı. Yapay zeka, matematik alanında ilk kez otonom olarak önemli bir problemi çözdü.
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, yaklaşık 80 yıldır matematikçilerin inandığı en iyi çözümlerin kabaca kare ızgaralara benzediği düşüncesini yıktı.
Bu gelişme, OpenAI’ın yedi ay önceki benzer bir iddiasının ardından geldi. O dönemde şirket, GPT-5’in çözülememiş Erdős problemlerine çözüm bulduğu öne sürülmüş, ancak sonradan modelin literatürdeki mevcut çözümleri bulduğu anlaşılmıştı. Bu önceki olayın ardından rakip isimlerden gelen eleştiriler üzerine OpenAI eski başkan yardımcısı Kevin Weil paylaşımını silmişti.
Yapay Zeka Matematikte Otonom Çözüm Üretiyor
OpenAI, bu kez matematikçilerin kanıtı destekleyen açıklamalarını da yayınlayarak güvenilirliği artırdı. Şirket, yeni bir genel amaçlı akıl yürütme modelinden gelen bu kanıtın, yapay zekanın matematik alanında otonom olarak önemli ve çözülememiş bir problemi çözdüğü ilk sefer olduğunu belirtti. Model, kare ızgaralardan daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfetti.
Bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri yeni yollarla bağlayabilme kapasitesini gösteriyor. OpenAI, bu gelişmenin 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 vurguladı.
Yorum Yap