OpenAI, mayıs ayının ortasında iç kullanım için geliştirilen bir yapay zekâ modelinin, ayrık geometrinin uzun süredir çözülemeyen problemlerinden Erdős unit distance conjecture’ı çürüttüğünü duyurdu. Söz konusu problem, yaklaşık 80 yıldır matematikçilerin üzerinde çalıştığı ve açık kalan önemli varsayımlardan biri olarak görülüyordu. Açıklanan sonuca göre model, bu varsayımın doğru olmadığını gösteren tam bir ispat ortaya koydu.
Gelişme, matematik çevrelerinde dikkat çekici bir dönüm noktası olarak değerlendirildi. OpenAI’nin sonucu erken erişimle paylaştığı bazı matematikçilerin ilk tepkileri de bu etkinin nedenini gösteriyor. Fields Medal sahibi Tim Gowers, unit-distance problemine getirilen çözümün “AI mathematics” açısından bir kilometre taşı olduğuna dair şüphe olmadığını belirtti. University of Toronto’dan Daniel Litt ise bunu, bir yapay zekânın otonom biçimde ürettiği ve başlı başına heyecan verici bulduğu ilk sonuç olarak tanımladı.
Bu değerlendirmelerin öne çıkmasının nedeni, söz konusu çalışmanın büyük bir açık varsayımı çözen ilk yapay zekâ ispatı olabileceği düşüncesi. Matematikte açık problemlere yönelik bilgisayar destekli çalışmalar yeni değil; ancak burada vurgulanan nokta, sistemin yalnızca hesaplama gücü sunması değil, farklı alanlardan bilinen fikirleri bir araya getirerek bir ispat zinciri kurabilmiş olması. Bu da yapay zekâ araçlarının matematiksel araştırmadaki rolünün yeni bir aşamaya geçtiğine işaret ediyor.
Yine de bu gelişmeyi, geçmiş eğilimi tamamen kıran radikal bir sıçrama olarak görmek için erken olabilir. Son birkaç yıldaki ilerleme çizgisine bakıldığında daha kademeli bir tablo öne çıkıyor. Üç yıl önce büyük dil modelleri temel aritmetik sorularda bile sık sık hata yapıyordu. Geçen yıl ise aynı sınıftaki sistemler lise düzeyindeki matematik yarışmalarında üst düzey performans göstermeye başlamıştı. Bu açıdan bakıldığında, bugün bir açık varsayıma dair ispat üretebilen modele ulaşılması birdenbire ortaya çıkan bir kırılmadan çok, art arda gelen yetenek artışlarının devamı gibi görünüyor.
Ocak ayında düzenlenen ve dünyanın en büyük yıllık matematik konferansı olarak anılan Joint Mathematics Meetings sırasında da bu dönüşümün erken işaretleri görülüyordu. O dönemde yapay zekâ sistemlerinin matematik araştırmasına katkı sunmaya başladığı konuşuluyordu; ancak bu katkı daha çok dar çerçeveli ve kontrollü senaryolarda mümkün oluyordu. Modeller belirli adımları önerebiliyor ya da kanıtın bazı bölümlerine yardımcı olabiliyordu, fakat çıktının yayımlanabilir bir teoreme dönüşmesi için ciddi insan yorumuna ve düzenlemesine ihtiyaç duyuluyordu.
OpenAI’nin duyurduğu yeni sonuç, bu sürecin bir sonraki basamağı olarak değerlendirilebilir. Verilen bilgilere göre model, matematiğin çeşitli alt alanlarında zaten var olan fikirleri akıllıca birleştirerek eksiksiz bir ispat üretti. Buradaki önemli ayrıntı, modelin tamamen yeni bir yöntem icat etmemiş olması. Başka bir deyişle başarı, bilinmeyen bir teknik keşfinden çok, mevcut bilgi birikimini geniş bir tarama gücüyle etkili biçimde sentezleyebilmesinden kaynaklanıyor.
Bu ayrım önemli çünkü matematikte değer yalnızca sonucun kendisinden değil, sonuca götüren yöntemin ufuk açıcı olup olmamasından da geliyor. Eğer bir ispat yepyeni araçlar geliştiriyorsa, etkisi çoğu zaman çözdüğü problemin ötesine geçiyor. Buradaki tabloda ise yapay zekâ, mevcut yöntemler arasındaki bağlantıları kurma ve bunları sabırla işleme konusunda öne çıkmış görünüyor. Nitekim üretilen sonuç daha sonra insan matematikçiler tarafından temizlenmiş ve genişletilmiş durumda. Bu da ilk ispatın tek başına son nokta olmadığını, insan katkısıyla olgunlaştırıldığını gösteriyor.
Dolayısıyla ortaya çıkan resim, kısa vadede insan matematikçilerin yerini alan bir sistemden çok, onlarla tamamlayıcı ilişki kuran bir araç sınıfına işaret ediyor. Yapay zekâ modellerinin en güçlü taraflarından biri, geçmiş literatüre dair son derece geniş bir kapsama sahip olmaları. Tek bir insanın hayatı boyunca okuyamayacağı kadar fazla çalışmayı tarayabilmeleri, farklı alanlar arasında beklenmedik bağlantılar kurma ihtimalini artırıyor. Buna ek olarak, sonuç vermesi düşük olasılıklı olsa bile zahmetli ispat stratejilerini denemeye devam etme konusunda da insanlardan daha sabırlı ve maliyetsiz davranabiliyorlar.
İnsan tarafının güçlü olduğu alan ise daha derin odaklanma ve problem seçimi olarak öne çıkıyor. Bir matematikçi, tek bir sorunun neden önemli olduğunu, hangi varyasyonların ilginç sonuçlar doğurabileceğini veya hangi yaklaşımın gerçekten yeni bir kavrayış sunduğunu daha iyi değerlendirebiliyor. Ayrıca yalnızca bir ispat elde etmek değil, doğru soruyu sormak da araştırmanın merkezinde yer alıyor. Mevcut tablo, yapay zekânın bu yaratıcı yönü tamamen devraldığını göstermiyor; daha çok, insanın yön verdiği araştırma sürecini hızlandıran ve genişleten bir ortak gibi davranabileceğini ortaya koyuyor.
Bu nedenle Erdős unit distance conjecture ile ilgili sonuç, hem teknik hem de sembolik açıdan önemli. Teknik olarak, yapay zekâ destekli matematik sistemlerinin artık yalnızca alıştırma çözen ya da yarışma sorularında iyi performans gösteren araçlar olmadığını, gerçek araştırma problemlerine dokunabildiğini gösteriyor. Sembolik olarak ise matematik gibi yüksek doğruluk eşiği gerektiren bir alanda, uzmanların ciddiye aldığı otonom bir sonucun ortaya çıkması dikkat çekiyor. Matematikte hata payı düşüktür; bir ispat ya doğrudur ya değildir. Bu yüzden böyle bir sonucun kabul görmesi, yapay zekâ sistemleri için önemli bir güven eşiği anlamına geliyor.
Öte yandan mevcut gelişmenin sınırlarını doğru okumak da gerekiyor. Açıklanan tablo, yapay zekânın matematikte insanı geride bıraktığını değil; belirli koşullar altında çok güçlü bir yardımcı ve zaman zaman da doğrudan katkı sağlayan bir araştırma ortağına dönüştüğünü gösteriyor. Üstelik burada öne çıkan başarı, tamamen yeni matematiksel sezgiler üretmekten çok, dağınık durumdaki mevcut fikirleri etkili biçimde örgütleyebilme yeteneğine dayanıyor. Bu da gelecekte en verimli modelin, insanın soru sorma ve derin kavrayış gücü ile yapay zekânın kapsam ve deneme kapasitesini birleştiren hibrit çalışma biçimi olabileceğine işaret ediyor.
Sonuç olarak OpenAI’nin modeli tarafından üretilen ispat, yapay zekânın matematikte geldiği noktayı gösteren güçlü bir örnek niteliğinde. Üç yıl önce temel işlemlerde zorlanan sistemlerden, bugün 80 yıllık bir varsayımı çürüten ispatlara ulaşılmış olması başlı başına kayda değer. Ancak gelişmenin asıl anlamı, tek seferlik bir gösteriden çok, matematik araştırmasının nasıl yapılacağına dair değişen iş bölümünde yatıyor. Yapay zekâ modelleri geçmiş bilginin sentezlenmesinde ve uzun, yorucu denemelerde öne çıkarken; insanlar hangi problemlerin gerçekten önemli olduğuna karar verme ve sonuçlara anlam kazandırma rolünü koruyor. Şimdilik en güçlü tablo, rekabetten çok iş birliği yönünde şekilleniyor.
