۱ مطلب با این برچسب
این مقاله نگاهی عمیق به تحقق رویای دیرینه دیوید هیلبرت درباره ماشین‌های اثبات خودکار از طریق هوش مصنوعی دارد. نویسنده هشدار می‌دهد که همان‌طور که ریاضیدانان از درک اثبات‌های طولانی AI دست نمی‌کشند، مهندسان نرم‌افزار نیز نباید تسلیم خواندن کدهای تولیدشده توسط ماشین شوند.