OpenAI bir Millennium sorununu çözdü, matematikçiler endişeli

Yapay zeka şirketi OpenAI, en yeni modelinin matematik dünyasında onlarca yıldır çözülemeyen bir Millennium Ödülü sorununu çözdüğünü açıkladı. Sorunun ödülü 1 milyon dolar. Bu gelişme, matematikçileri şaşkına çevirdi.

Başarı, matematiksel sorunların normalde çözülme biçimine hiç benzemiyor. Yaklaşık 1 trilyon dolar değerindeki özel bir şirket, sorunun üzerine 10 bin ajan sürdü. Ajanlar, görevleri özerk biçimde yürüten yapay zeka sistemleri. Maliyetin 15 milyon dolar olduğu tahmin ediliyor.

İnsanüstü matematik yapabilen yapay zekaya doğru gidiş uzun süredir belliydi. Ancak böylesine büyük bir sorunun bu kadar hızlı çözülmesi alanda şok dalgası yarattı. Matematikçiler, devam eden çalışmalar başkaları tarafından sahiplenilirse kendilerine ne kalacağını ve en zor ödevlerin bile bir düğmeye basılarak çözülebildiği bir dönemde yeni nesli nasıl eğiteceklerini soruyor.

"Kendimi biraz şaşkın hissediyorum"

St Andrews Üniversitesi'nde saf matematik bölümünün başkanı Prof. Colva Roney-Dougal, "Kendimi biraz şaşkın hissediyorum" dedi. Yakın zamanda verdiği bir konferansta yapay zekanın yakında kayda değer bir şey yapmasının olası olmadığını söylediğini belirtti. "Üç ay sonra tamamen yanılmışım" diye konuştu. "Hepimiz ne olacağını bekliyoruz. Çok hızlı geliyor."

Manchester Üniversitesi'nden matematikçi Prof. David Silvester, değişim hızı nedeniyle alanın "çok istikrarsız" hissettirdiğini söyledi. "Yeterli kaynak olursa tüm açık matematik sorunları düşebilir" dedi. "Bu geri döndürülemez. Bu değişmeyecek."

Warwick Üniversitesi'nden matematikçi Prof. James Robinson, zor sorunların matematiğin yakıtı olduğunu, nesiller boyunca yaratıcı yaklaşımları tetiklediğini söyledi. "Bu büyük teknoloji şirketlerinin sırf en yeni modellerinin ne kadar harika olduğunu göstermek için bu yakıtı yakmasını görmek sinir bozucu" dedi.

Silvester'ın matematiğe girmesinin bir nedeni, bir sorunu çözmenin verdiği heyecandı. Birçok matematikçi için sorunun etrafında haftalar, aylar ve yıllar harcamak, sorunu parçalara ayırmak, bir yaklaşımı deneyip sonra bir başkasını denemek ve asla pes etmemek çekici. "Bu olmadan konu bana tamamen farklı görünüyor" dedi.

Matematikçiler zaten birbirlerinin kanıtlarını doğrulamak için ciddi zaman harcıyor. 1993'te Andrew Wiles'ın Fermat'nın Son Teoremi üzerindeki çalışmasındaki bir boşluk böyle bir incelemeyle bulunmuş, hatayı düzeltmek için bir yıl daha çalışılmıştı. Silvester, matematikçilerin kendilerini yapay zekanın hızla ürettiği daha fazla kanıtı incelerken bulabileceğini düşünüyor. "Bu daha çok muhasebeci olmak gibi, denetliyorsunuz, kontrol ediyorsunuz" dedi.

Etki alanın tamamına yayılıyor. Matematikçiler yayımladıkları makalelerle işe alınıyor. Ancak aylardır üzerinde çalıştıkları sorunları artık yapay zeka günler içinde çözebiliyor. Roney-Dougal, "Bir dahaki ay bir şey düşünmek için harcayabilirim ama bir başkası düğmeye basarak yapıyor duygusu var" dedi.

Bu durum lisans eğitiminde de sorun yaratıyor. Üniversiteler öğrencilere evde çözmeleri için düzenli olarak sorunlar ve testler veriyor. Bu tür ödevler artık işe yaramıyor. Silvester, "Yapmanın anlamı yok çünkü özgünlüğünü garanti edemeyiz" dedi.

Matematiğin çekiciliği sürecek mi?

Oxford Üniversitesi'nde matematik felsefesi çalışan Prof. Alexander Paseau, tüm bu çalkantıya rağmen matematiğin çekiciliğinin büyük ölçüde kaybolmayacağını düşünüyor. "Yapay zeka sonunda araştırmada insanlardan daha iyi olsa bile zorluk devam ediyor" dedi. "Yine de matematiği kendiniz anlamak isteyeceksiniz. Ondan hâlâ keyif alacağız ve güzelliğini takdir edeceğiz."

Yapay zekanın matematiği çoğu zaman sorunları sıfırdan çözmüyor, insanların çalışmalarının üzerine inşa ediyor. Örneğin OpenAI'nin atılımı, Madrid'deki matematikçiler Diego Córdoba ve Luis Martinez-Zoroa'nın çalışmalarına büyük ölçüde dayanıyor.

OpenAI'nin çalışması, sıvıların ve hatta hava durumunun nasıl davrandığını öngören denklemleri içeren Navier-Stokes sorununa bir çözüm tanımlıyor. Bu sorun, Clay Mathematics Institute tarafından 2000 yılında yayımlanan yedi Millennium Ödülü sorunundan biri.

Şirketin salı günü yaptığı açıklama toplulukta daha fazla endişeye yol açtı. OpenAI, iki Millennium sorununun matematikçiler tarafından çözüldüğüne dair söylentiler duyduktan sonra en yeni modelini devreye soktu. New York Üniversitesi'nden Prof. Tristan Buckmaster ile Anthropic'te çalışan Levent Alpöge, Navier-Stokes üzerinde ilgili çalışmalar yürütüyor ve süreçte OpenAI ürünlerini kullanmıştı. İkili, OpenAI'nin modelinin devam eden çalışmalarından öğrenmiş olabileceğinden şüphelendi. OpenAI bir incelemenin ardından bunu reddetti.

Buckmaster, "Matematikte artık kimse bir şey paylaşmak istemiyor" dedi. "Matematik sadece birkaç gün öncesine göre bugün farklı."