Yapay zeka kanıtları matematik dünyasında derin kriz yaratıyor

OpenAI tarafından yayımlanan yüzlerce yeni matematiksel kanıt, sayı teorisinden teorik bilgisayar bilimine kadar uzanan alanlarda onlarca yıldır çözülemeyen problemleri aydınlattı. Fields Madalyası sahibi Hugo Duminil-Copin ve Cornell Üniversitesi'nden Steven Strogatz gibi saygın matematikçiler, modellerin bu alandaki hızlı ilerleyişi karşısında derin bir şaşkınlık ve keder yaşadıklarını bildirdi. Duminil-Copin, kendi araştırma alanının yapay zeka tarafından adeta yok edildiğini ifade etti.

Matematik camiasındaki bu sarsıntı, araştırmacıların kişisel hayal kırıklıklarının ötesinde bilimin doğasına dair temel bir dönüşüme işaret ediyor. Strogatz, antik dönemden beri süregelen kolektif ve insani bilgi arayışının yerini makinelerin çözümlerine bırakmasını Archimedes'in bıraktığı tarihsel diyaloğun kesintiye uğraması olarak yorumluyor. Ayrıca Çinli bir tıp asistanının ChatGPT yardımıyla Crouzeix varsayımına çözüm sunması gibi örnekler, matematiksel keşif sürecinin uzman tekelinden çıkarak hızla demokratikleştiğini gösteriyor.

Araştırmacıları en çok kaygılandıran temel unsur, üretilen bu yeni kanıtların ardındaki mekanizmanın kavranamaması yani anlama yetisinden yoksun bilgi birikimi riski olarak öne çıkıyor. Yapay zeka sistemlerinin ulaştığı karmaşık çözümlerin insanlar tarafından denetlenmesi güçleşirken, tıp ve doğa bilimlerinde hayat kurtaran ancak çalışma mantığı tam çözülemeyen algoritmaların sınırları tartışılıyor. Bilim insanları, bilginin üretim hızına karşın insan kavrayışının geride kalabileceği bir geleceğe karşı uyarıda bulunuyor.