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 zorlu probleme çözüm getirdi.
Daha önce benzer bir iddia ile gündeme gelen OpenAI, bu kez önde gelen matematikçilerin desteğini aldı. Şirket, Noga Alon ve Melanie Wood gibi isimlerin kanıtı doğrulayan açıklamalarını yayınladı. 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 örnek olarak kayıtlara geçti. OpenAI, bu başarının genel amaçlı bir akıl yürütme modelinden geldiğini vurgulayarak, yapay zeka sistemlerinin uzun ve karmaşık akıl yürütme zincirlerini yönetme ve farklı alanlardaki fikirleri birleştirme kapasitesini gösterdiğini belirtti.
Matematikçi Thomas Bloom, bu gelişmenin yapay zekanın matematik keşiflerindeki rolünü vurgulayarak, “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.
