OpenAI'nin geliştirdiği yapay zeka sistemi, 1946 yılından bu yana çözülemeyen ünlü bir matematik problemini otonom olarak çözmeyi başardı. Bu problem, ünlü matematikçi Paul Erdős tarafından ortaya atılan ve yaklaşık 80 yıldır matematikçileri uğraştıran bir geometri sorusuydu.
Birim Mesafeler Problemi Nedir?
Erdős'ün problemi, bir düzlemde tam olarak bir birim uzaklıkla birbirine bağlanan nokta çiftlerinin sayısını belirlemeye yönelikti. Erdős, bu sayının klasik kare ızgara modelini aşamayacağını öngörmüştü. Ancak OpenAI'nin yeni nesil akıl yürütme modeli, bu varsayımı çürüterek kare ızgarayı aşan sonsuz sayıda yapılandırma dizisi olduğunu kanıtladı.
Yapay Zekanın Yöntemi
Bu başarının en dikkat çekici yanı, yapay zekanın kullandığı yöntem oldu. Model, ayrık geometri problemini cebirsel sayılar teorisi ve Golod-Shafarevich teoremi ile ilişkilendirerek iki farklı disiplin arasında daha önce hiçbir insanın kurmadığı yepyeni bir köprü inşa etti. Bu sayede, insan müdahalesi veya yönlendirmesi olmadan özgün bir çözüm üretildi.
Doğrulama Süreci
Aralarında Fields Madalyası sahibi Tim Gowers'ın da bulunduğu dokuz saygın matematikçi, bu yeni kanıtı doğruladı. Gowers'ın, bu tarihi çalışmayı dünyanın en prestijli matematik dergilerinden Annals of Mathematics'e önereceği belirtiliyor. Geçtiğimiz yıl bilinen çözümleri tekrar ürettiği için eleştirilen yapay zeka, bu kez tamamen özgün bir başarıya imza attı.
20 Mayıs 2026 tarihinde OpenAI, Erdős'ün varsayımını çürüten orijinal bir matematiksel kanıt yayımladı. Bu gelişme, yapay zekanın bilimsel araştırmalardaki potansiyelini bir kez daha gözler önüne serdi.
