OpenAI, 1946 yılında Paul Erdős tarafından ortaya atılan ve 80 yıldır çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme modeli, geometri alanındaki bu köklü problemi çözdü.
Bu gelişme, OpenAI’ın geçmişte benzer bir iddiada bulunmasının ardından geldi. Yedi ay önce şirketin eski başkan yardımcısı Kevin Weil, GPT-5’in 10 çözülmemiş Erdős problemine yanıt bulduğunu öne sürmüştü. Ancak bu iddia, GPT-5’in yalnızca mevcut çözümleri tekrar ettiği ortaya çıkınca eleştirilere neden olmuştu. Weil, bu olayın ardından paylaşımını silmişti.
OpenAI, bu kez matematik camiasından önde gelen isimlerin desteğini alarak ilerledi. Noga Alon ve Melanie Wood gibi matematikçiler ile Erdős Problemleri sitesi yöneticisi Thomas Bloom, OpenAI’ın kanıtını doğruladı. 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” dedi.
Şirkete göre bu, yapay zekanın matematik alanında önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk vaka olma özelliğini taşıyor. Kanıtın, özel bir sistemden ziyade genel amaçlı bir akıl yürütme modelinden geldiği vurgulandı. Bu durum, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini yönetebilme ve alanlar arası bağlantılar kurabilme yeteneğini gösteriyor.
Matematikçi Thomas Bloom, yapay zekanın matematiğin keşfinde önemli bir rol oynayacağını belirterek, “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?” ifadelerini kullandı.
