OpenAI'ın matematiksel problemleri çözen yapay zekâ modellerini duyurması, matematik dünyasında teorem kanıtlama süreçleri ve yazarlık standartları üzerine tartışmalar başlattı. Teksas Üniversitesi'nden Scott Aaronson, modellerin başarısıyla insanların birincil teorem kanıtlayıcı konumunu kaybettiğini belirtirken, uzmanlar yapay zekânın matematik disiplinini kökten değiştirdiğini vurguluyor.
Modellerin ürettiği kanıtların mantıksal doğruluğu teyit edilse de araştırmacılar, bu çözümlerin matematiksel derinlik ve bağlamdan yoksun olduğunu aktarıyor. OpenAI'ın 100'den fazla teorem sonucunu ticari gerekçelerle gizli tuttuğu kaydedilirken, arXiv gibi akademik platformlar kontrolü zor yapay zekâ makalelerinin artması nedeniyle yazar başına aylık gönderim sınırını ikiye indirdi.
Akademisyenler, disiplinin problem çözme odaklı yapısını dönüştürerek kavrayış ve kuramsal çerçeve oluşturmaya odaklanmayı öneriyor. Bu doğrultuda araştırmacılar İnsan Matematiği Derneğini kurarak politika önerileri hazırlamaya başlarken, Toronto Üniversitesi'nden Daniel Litt ve MIT'den Pavel Etingof, gelecekte matematikçilerin yapay zekâ çıktılarını anlamlandırma ve yeni sorular üretme rollerine yoğunlaşacağını ifade ediyor.
KAYNAK: quantamagazine.org