Yapay zeka ile üretilen matematiksel kanıtların değeri tartışılıyor

Matematik araştırmalarında büyük dil modellerinin kullanımı yaygınlaşırken, hiçbir kişisel içgörü sunmadan yalnızca bir araca komut vererek elde edilen matematiksel sonuçların akademik değeri tartışma konusu oldu. Uzmanlar, herkesin tek bir tuşa basarak doğrudan üretebileceği ve yeniden tekrarlanabilir bir çıktı haline gelen sonuçların, matematik disiplini açısından tek başına herhangi bir değer taşımadığını belirtiyor. Yapay zekanın sunduğu kanıtın doğruluğu biçimsel yöntemlerle onaylansa bile, yeni ve özgün bir fikir barındırmayan iddiaların bilimsel ilerlemeye katkı sağlamadığı ifade ediliyor.

Son dönemde p-sel zeta fonksiyonlarının irrasyonelliği üzerine benzer yöntemlerle hazırlanan birden fazla otomatik kanıtın dolaşıma girmesi bu tartışmayı somutlaştırdı. Literatürde mevcut olan holonomi sınırlarının eski şablonlara doğrudan uyarlanmasıyla oluşturulan bu çalışmaların, bilinen teknikleri tekrarlamaktan öteye geçmediği ve yeni bir yöntem sunmadığı kaydedildi. Kanıtlanan teoremlerin tarihsel olarak yeni fikir ve yöntemlerin bir göstergesi olduğu, ancak yapay zeka çıktılarının artık yetkinlik veya özgün kavrayışı yansıtmadığı bildirildi.

Otomatik sistemlerle üretilen denetimsiz kanıtlar, akademik değerlendirme süreçlerinde gereksiz bir iş yükü oluşturuyor. Modellerin ilk incelemelerinden kısmen geçen ancak derinlemesine bakıldığında hatalı veya geçersiz çıkarımlar barındıran metinler, uzmanların zamanını alarak verimsizliğe yol açıyor. Yapay zeka modellerinin yaygınlaşmasıyla birlikte, matematik dünyasında sonucun kendisinden ziyade kullanılan yöntemin niteliği ve araştırmacının sağladığı düşünsel katkı daha kritik hale geliyor.