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…