Matematikçiler AI tarafından üretilen sonuçların yayımlanması için kurallar belirledi

Matematik ve yapay zeka konularında çalışan bağımsız grup (agmai.org), 29 Eylül'de AI laboratuvarlarının modeller tarafından oluşturulan matematiksel sonuçları nasıl yayımlaması gerektiğine dair öneriler yayımladı. “Responsible Release of AI-Generated Mathematics” başlıklı belge, matematik topluluğundan gelen 600'den fazla yanıta dayanılarak hazırlandı.

Yazarlar baştan itibaren, önde gelen bir AI laboratuvarının matematiğin zor problemlerini kamuya açık olmayan modeller üzerinde test etmesi uygulamasını desteklemediklerini belirtiyor ve laboratuvarları bunu durdurmaya çağırıyor.

Bu neden önemli

Matematiksel araştırma, bir çalışmanın yazarının kendi sonucunu anlaması, doğruluğunu kendisinin kontrol etmesi ve içerikten sorumluluk alması gibi normlara dayanır. Artık AI, talep eden kişi için anlaşılmaz ve doğrulanamaz kalan matematiksel bir akıl yürütme sunabiliyor. Grubun görüşüne göre, matematiğin insan tarafından anlaşılması temel bir değerdir ve sorumlu bilimsel yayıncılığın bir parçası olarak kalmalıdır.

Yayımlamak için iki yol

Belge, bir insanın anladığı sonuç ile henüz kimsenin anlamadığı sonucu birbirinden ayırıyor. İlk durumda akademik gelenek işler: ön baskı, makalenin dergide değerlendirilmek üzere gönderilmesi ve yazarın makaleyi meslektaşlarına açıkladığı seminerler.

Eğer model tarafından üretilen akıl yürütmeyi talep eden kişi anlamıyorsa, grup ilk yayımlama için teknik normlar belirliyor: laboratuvar literatürde ilgili fikirleri araştırmalı ve bu fikirlerin ilk kez ortaya çıktığı çalışmaları, model onları bağımsız olarak keşfetmiş olsa bile belirtmelidir. Kanıtlar, kesin teoremlerle ve standart dışı terminoloji olmadan, standart bir matematik makalesi üslubunda yeniden yazılmalıdır. Sonuçlar, hiçbir AI laboratuvarının kontrol etmediği bilimsel arşivlere zamanında konulmalıdır.

Her sonuç için laboratuvar; modelin adını, kullanılan promptları, düşünce zincirinin özetini, harcanan süreyi ve hesaplamanın tahmini maliyetini yayımlamalıdır. Aynı anda çok sayıda sonuç yayımlanıyorsa, bunların tümüne atıf yapan ve modelin benzer zorlukta kaç problemi çözemediğini ve problemlerin nasıl seçildiğini açıklayan ayrı bir belge gerekir.

Finansman ve geniş erişim

Grubun görüşüne göre, önemli sonuçları insan anlayışı olmadan yayımlayan bir laboratuvar, sorumluluk almak ve anlaşılmanın en azından sonradan gerçekleşmesi için maddi destek de dahil olmak üzere destek sağlamakla yükümlüdür. Hangi projelerin finanse edileceğine bağımsız kâr amacı gütmeyen kuruluşlar karar verir; grubun kendisi veya laboratuvarlar değil. Destek, karmaşık bir ispata adanmış bir konferansa, bir çalıştaya, uzun vadeli bir çalışma grubuna, postdoc finansmanına veya açıklayıcı kitaplar yazılmasına ayrılabilir.

Belge, kapalı iç modellere dayanan araştırmanın iki katmanlı bir sisteme yol açma riski konusunda uyarıyor: birkaç laboratuvar alanın geri kalanının önüne geçiyor ve matematik topluluğunu kendi disiplininden uzaklaştırıyor. Grup, matematiğin kolektif doğrulama, kavramların sentezi ve ortak sezgiyle geliştiği için laboratuvarları küresel matematik topluluğuna kamuya açık modeller üzerinde geniş ve eşit erişim sağlamaya çağırıyor.