Matematikçiler yapay zekayla üretilen kanıtlar için kurallar yayımladı
Öne çıkanlar
- Matematik camiası, 600'den fazla uzmanın katılımıyla yapay zeka kaynaklı kanıtlar için standartlar belirledi.
- Laboratuvarların kanıtları bağımsız açık arşivlerde yayımlaması ve işlem maliyeti ile istemleri açıklaması istendi.
- Şirketlerin, üretilen karmaşık kanıtların insanlarca anlaşılması amacıyla düzenlenecek çalıştaylara fon sağlaması önerildi.
Matematik camiası, yapay zeka laboratuvarlarının kapalı modellerle ürettiği matematiksel kanıtların sorumlu şekilde paylaşılması için kapsamlı bir tavsiye metni yayımladı. 29 Eylül 2026 tarihinde paylaşılan ve 600'den fazla matematikçinin geri bildirimiyle şekillenen çerçeve, insan kavrayışı olmaksızın yayımlanan yapay zeka çıktılarının bilimsel standartlara bağlanmasını amaçlıyor. Metin, şirketlerin ileri düzey matematik problemlerini topluluğa kapalı tescilli modeller üzerinde test etme uygulamasını sonlandırmasını talep etti.
İmzalanan ilkeler doğrultusunda, araştırmacıların tam olarak anlamadığı yapay zeka kaynaklı kanıtların geleneksel makale formatında, ilgili literatüre atıf verilerek ve bağımsız açık arşivlerde yayımlanması istendi. Laboratuvarların kullandıkları istemleri, akıl yürütme özetlerini, harcanan işlem maliyetini ve kanıtın Lean gibi sistemlerle doğrulama durumunu açıklaması gerektiği belirtildi. Ayrıca şirketlerin sonuçları birer pazarlama aracına dönüştürmekten kaçınmaları gerektiği vurgulandı.
Belgede yer alan ikinci aşama ise modellerin ürettiği karmaşık sonuçların insanlar tarafından sindirilmesi sürecini kapsıyor. Şirketlerin bu çıktıların anlaşılması için çalıştaylar, yaz okulları ve araştırmacı fonları sağlaması ancak fon yönetiminin bağımsız kâr amacı gütmeyen kuruluşlara devredilmesi önerildi. Uzmanlar, kapalı modellerin araştırmacıları kendi disiplinlerine yabancılaştıracağını ifade etti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.