۱ مطلب با این برچسب
این مقاله به بررسی تأثیر هوش مصنوعی بر اثبات و فرمالیزه‌کردن ریاضیات می‌پردازد. نویسندگان هشدار می‌دهند که تولید انبوه کدهای اثبات‌نشده و غیرقابل‌استفاده توسط هوش مصنوعی می‌تواند به جامعه ریاضی آسیب بزند و پیشنهاد می‌کنند که همکاری انسان و هوش مصنوعی باید بر پایه کتابخانه‌های ساختاریافته و باکیفیت شکل بگیرد.
