OpenAI, 1946’dan beri çözülemeyen ünlü bir matematik varsayımını yeni akıl yürütme modeliyle çürüttü. Yapay zeka tarihinde bir ilk.
Yapay zeka şirketi OpenAI, geometri alanında 1946 yılında Paul Erdős tarafından ortaya atılan ve yaklaşık 80 yıldır çözülemeyen ünlü bir matematik varsayımını çürüten orijinal bir kanıt ürettiğini açıkladı. Şirketin yeni akıl yürütme modeli aracılığıyla elde edilen bu başarı, yapay zekanın matematik alanındaki önemli bir problemi otonom olarak çözdüğü ilk örnek olarak değerlendiriliyor.
OpenAI, yedi ay önce de benzer bir iddiayla gündeme gelmişti. Şirketin eski başkan yardımcısı Kevin Weil, X platformunda GPT-5’in çözülmemiş Erdős problemlerine çözüm bulduğunu öne sürmüştü. Ancak bu iddia, GPT-5’in mevcut çözümleri bulduğu, yeni bir çözüm üretmediği ortaya çıkınca eleştirilere neden oldu. Kevin Weil, bunun üzerine paylaşımını silmişti.
Bu kez OpenAI, duyurusunu önde gelen matematikçiler Noga Alon, Melanie Wood ve Thomas Bloom’un destekleyici açıklamalarıyla birlikte yayınladı. Thomas Bloom, daha önce Kevin Weil’in iddiasını “dramatik bir yanlış beyan” olarak nitelemişti.
OpenAI, X platformundaki açıklamasında, yaklaşık 80 yıldır matematikçilerin en iyi çözümlerin kare ızgaralara benzediğine inandığını belirtti. Şirket, kendi modelinin bu inancı çürüttüğünü ve daha iyi performans gösteren yeni bir yapı ailesi keşfettiğini duyurdu.
Elde edilen bu başarı, yapay zeka sistemlerinin uzun ve zorlu akıl yürütme zincirlerini bir arada tutabildiğini ortaya koyuyor. Aynı zamanda, araştırmacıların daha önce keşfetmediği yollarla alanlar arası fikirleri birbirine bağlama kapasitesini de sergiliyor.
OpenAI, bu durumun biyoloji, fizik, mühendislik ve tıp gibi birçok bilimsel ve mühendislik alanında önemli yansımaları olacağını öngörüyor. Matematikçi Thomas Bloom ise konuyla ilgili açıklamasında, “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ı.
