OpenAI’ın yeni akıl yürütme modeli, 80 yıldır çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt üretti. Şirket, bu başarıyı yapay zekanın matematik alanındaki otonom çözümlerinin bir ilki olarak nitelendirdi.
OpenAI, 1946 yılında Paul Erdős tarafından ortaya atılan ve bugüne kadar çö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 problemi çözdü.
Bu gelişme, OpenAI’ın yedi ay önceki benzer bir iddiasının ardından geldi. Eski başkan yardımcısı Kevin Weil, GPT-5’in 10 çözülememiş Erdős problemine çözüm bulduğunu öne sürmüştü. Ancak daha sonra GPT-5’in sadece mevcut çözümleri bulduğu ortaya çıkmış, Weil paylaşımını silmişti.
OpenAI, bu kez daha temkinli hareket ederek duyuruyla birlikte önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladı. Noga Alon, Melanie Wood ve Thomas Bloom gibi isimler OpenAI’ın bulguları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” ifadelerini kullandı.
Şirkete göre bu, yapay zekanın matematik alanındaki önemli bir problemi otonom olarak çözdüğü ilk sefer olarak kayıtlara geçiyor. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini vurguluyor.
Bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri bağlayabilme kapasitesini gösteriyor. OpenAI, bu durumun 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 matematik keşiflerine yardımcı olduğunu belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu dile getirdi.
