OpenAI Geometri Varsayımını Çürüten Kanıt Sundu

OpenAI, 1946’da Paul Erdős tarafından ortaya atılan ve bugüne dek çözülemeyen ünlü bir matematiksel varsayımı çürüten orijinal bir kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme modeli, geometri alanındaki bu 80 yıllık problemi ele aldı.

Matematik Dünyasında Yeni Bir Dönem

Bu gelişme, OpenAI’ın yedi ay önceki benzer bir iddiasının ardından geldi. Daha önce GPT-5’in Erdős problemlerine çözüm bulduğu öne sürülmüş, ancak bu çözümlerin literatürde zaten var olduğu anlaşılmıştı. Rakip isimlerin eleştirileri sonrası şirket, eski başkan yardımcısı Kevin Weil’in paylaşımını geri çekmişti.

OpenAI bu kez, Noga Alon ve Melanie Wood 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ç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” dedi.

Şirkete göre bu, yapay zekanın matematik alanında otonom olarak önemli bir problemi çözdüğü ilk vaka olarak kayıtlara geçiyor. Kanıtın, genel amaçlı bir akıl yürütme modelinden geldiği vurgulanıyor.

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 “yüzyıllar boyunca inşa ettiğimiz matematik katedralini daha kapsamlı bir şekilde keşfetmemize yardımcı olduğunu” belirtti.