Mayıs ortasında OpenAI, dahili bir AI modelinin, kesikli geometri alanındaki ünlü Erdős birim mesafe varsayımını çürüttüğünü duyurdu. Bu problem, son 80 yıldır insan matematikçileri tarafından çözülemiyordu. OpenAI, sonuçları birkaç matematikçiye erken erişim sağladı ve onların tepkilerini yayınladı.
Fields Madalyası sahibi Tim Gowers, “birim mesafe probleminin çözümünün AI matematikte bir dönüm noktası olduğu” konusunda hemfikirdi. Toronto Üniversitesi profesörü Daniel Litt ise “bu, bir AI tarafından bağımsız olarak üretilen ve benim için heyecan verici bir ilk örnek” dedi.
Bu, bir AI sisteminin büyük bir açık varsayımı çözerek bir ispat bulduğu ilk örnek olabilir. Etkileyici olsa da, bu gelişmeyi matematikte AI ilerlemesinin radikal bir kırılma noktası olarak görmüyorum. Üç yıl önce LLM’ler temel aritmetik problemlerle zorlanıyordu; geçen yıl ise lise matematik yarışmalarında başarılı oldular.
Ocak ayında dünyanın en büyük yıllık matematik konferansı Joint Mathematics Meetings’e katıldığımda, AI sistemlerinin matematiksel araştırmaya sınırlı ama artan bir katkı sağladığını gördüm. AI çıktısını yayınlanabilir bir teoreme dönüştürmek hâlâ önemli bir insan yorumu gerektiriyordu.
OpenAI’nin yeni sonucu, bu ilerlemenin bir sonraki adımı. Model, çeşitli matematik alt alanlarından mevcut fikirleri ustaca birleştirerek tam bir ispat üretti, ancak tamamen yeni bir teknik geliştirmedi. Sonuç, insan matematikçiler tarafından temizlenip genişletildi.
Bu durum, orta vadede insan matematikçiler ve AI modellerinin birbirini tamamlayacağı bir geleceğe işaret ediyor: AI, geçmiş çalışmalara yönelik geniş bir bilgi birikimine ve zahmetli ispat stratejilerini çaba harcamaktan çekinmeyen bir tutuma sahipken, insanlar tek bir probleme daha derinlemesine odaklanıp daha ilginç sorular sorabiliyor.
Yorum Yap