OpenAI’ın yeni akıl yürütme modeli, 1946’dan beri çözülemeyen ünlü bir matematik varsayımını çürüten özgün bir kanıt üretti.
OpenAI, geometri alanında 1946’dan beri çözülemeyen bir matematik problemini çü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 ünlü varsayımı ele aldı.
Bu gelişme, OpenAI’ın yedi ay önceki benzer bir iddiasının ardından geldi. Şirketin eski başkan yardımcısı Kevin Weil, GPT-5’in daha önce çözülmemiş 10 Erdős problemine çözüm bulduğunu öne sürmüştü. Ancak daha sonra GPT-5’in mevcut çözümleri bulduğu, yeni bir kanıt üretmediği ortaya çıkmıştı.
OpenAI bu kez hatayı tekrarlamadığını belirtiyor. Şirket, duyurusuyla birlikte Noga Alon ve Melanie Wood gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladı. Thomas Bloom, Erdős Problemleri web sitesi yöneticisi olarak daha önceki iddiayı 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ı.
Şirkete göre bu, yapay zekanın matematik alanında önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk olaydır. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini vurguluyor.
Bu başarının, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri birbirine bağlayabilme kapasitesini gösterdiği belirtiliyor. Şirket, bunun 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 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.
Yorum Yap