OpenAI, yeni akıl yürütme modelinin, Paul Erdős tarafından 1946'da ortaya atılan ünlü bir geometri varsayımını çürüten orijinal bir matematik kanıtı ürettiğini söylüyor. Kaşlarınız havaya kalktıysa yalnız değilsiniz - bu OpenAI'ın böyle cesur bir iddiada bulunuşu ilk kez değil. Yedi ay önce, eski Başkan Yardımcısı Kevil Weil, X'te "GPT-5, daha önce çözülmemiş 10 (!) Erdős problemine çözüm buldu ve 11 diğerinde ilerleme kaydetti" diye paylaşmıştı. Spoiler: GPT-5 aslında onları çözmedi; sadece literatürde zaten var olan çözümleri yeniden keşfetti. Yann LeCun ve Google DeepMind CEO'su Demis Hassabis gibi rakiplerden gelen alaycı yorumların ardından Weil, erken paylaştığı gönderisini sildi.
Bu sefer OpenAI aynı hatayı tekrarlamadığını söylüyor. Duyuruyla birlikte şirket, matematikçiler Noga Alon, Melanie Wood ve Thomas Bloom'dan -ki Bloom, Erdos Problems web sitesini yönetiyor ve daha önce Weil'in paylaşımını "çarpıtıcı bir abartı" olarak nitelendirmişti- eşlik eden yorumlar yayınladı. "Neredeyse 80 yıldır matematikçiler en iyi olası çözümlerin kabaca kare ızgaralar gibi göründüğüne inanıyordu," diye paylaştı OpenAI X'te. "Bir OpenAI modeli şimdi bu inancı çürüttü ve daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfetti."
Şirket, bunun "bir yapay zekanın bir matematik alanının merkezindeki önde gelen bir açık problemi otonom olarak ilk kez çözmesi" olduğunu iddia ediyor. Kanıt, matematik için özel olarak tasarlanmış bir sistemden değil, yeni bir genel amaçlı akıl yürütme modelinden geldi - ki OpenAI bunun önemli olduğunu söylüyor çünkü yapay zekanın artık uzun, zorlu akıl yürütme zincirlerini bir arada tutabildiği ve alanlar arasında fikirleri birleştirebildiği anlamına geliyor. Bunun biyoloji, fizik, mühendislik ve tıp için etkileri olduğu bildiriliyor. "Yapay zeka, yüzyıllar boyunca inşa ettiğimiz matematik katedralini daha tam olarak keşfetmemize yardımcı oluyor," dedi Bloom. "Perde arkasında başka hangi görülmemiş harikalar bekliyor?"