OpenAI, 80 yıllık matematik varsayımını çürüten yeni bir kanıt üretti. Yapay zeka, geometri alanındaki önemli bir problemi çözerek tarihe geçti.
OpenAI, geometri alanında 1946’da Paul Erdős tarafından ortaya atılan ve bugüne dek çözülemeyen ünlü bir varsayımı çürüten orijinal bir matematiksel kanıt ürettiğini duyurdu. Bu gelişme, şirketin 7 ay önceki benzer bir iddiasının ardından geldi.
Daha önce OpenAI’ın eski başkan yardımcısı Kevin Weil, GPT-5’in 10 Erdős problemini çözdüğünü ve 11’inde ilerleme kaydettiğini öne sürmüştü. Ancak daha sonra GPT-5’in yalnızca mevcut çözümleri bulduğu ortaya çıkmış, bu durum rakip isimlerin eleştirilerine yol açmıştı.
OpenAI, bu kez Noga Alon, Melanie Wood ve Thomas Bloom gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını yayınladı. Şirket, X platformunda yaptığı açıklamada, yaklaşık 80 yıldır matematikçilerin kare ızgaralara benzeyen en iyi çözümlerin olduğuna inandığını belirtti. OpenAI’ın akıl yürütme modeli bu inancı çürüterek daha iyi performans gösteren yeni bir yapı ailesi keşfetti.
Şirkete göre bu, yapay zekanın matematik alanındaki önemli ve çözülememiş bir problemi otonom olarak çözdüğü ilk vakadır. Kanıtın genel amaçlı bir akıl yürütme modelinden gelmesi dikkat çekiyor.
Bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutma ve alanlar arası fikirleri bağlama kapasitesini gösteriyor. OpenAI, bunun 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 matematiksel keşiflerde yardımcı olduğunu belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu dile getirdi.
