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 üretti. Bu, yapay zekanın matematik alanındaki ilk otonom başarısı olarak dikkat çekiyor.
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 (reasoning) modeli, geometri alanındaki bu karmaşık problemi ele aldı.
OpenAI’ın bu başarısı, şirketin yaklaşık yedi ay önceki benzer bir iddiasının ardından geldi. O dönemde 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 yalnızca mevcut çözümleri bulduğu ortaya çıkınca eleştirilerle karşılaşılmıştı. Bu kez OpenAI, Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarıyla birlikte duyuru yaptı.
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ı. Bu gelişme, yapay zekanın matematik alanında otonom olarak önemli bir problemi çözdüğü ilk durum olarak kayıtlara geçiyor. Şirket, bu kanıtın genel amaçlı bir akıl yürütme modelinden geldiğinin altını çiziyor.
Bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini yönetme ve alanlar arası fikirleri birleştirme kapasitesini gösteriyor. OpenAI, bu durumun biyoloji, fizik, mühendislik ve tıp gibi alanlarda da önemli etkileri olacağını öngörüyor. Matematikçi Thomas Bloom, yapay zekanın matematiksel keşiflerde yeni yollar açtığını belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu dile getirdi.
