Formal Tasdiqlashga Qarshi: 50 Yil O'tib
Formal tasdiqlash sohasi 50 yil o'tib qayta gullab-yashnayapti. AI kodlashning rivojlanishi bilan formal tasdiqlashning ahamiyati ortib bormoqda.

Anthropic kompaniyasi bosh direktori Dario Amodei yaqinda AI haqidagi fikrlari ortib borayotgan tanqidlarga javob berdi. Uning aytishicha, AI haqidagi munozaralar aslida ishonch inqirozidir.
Amodei investori Gavin Baker bilan bo'lgan munozarada, AI haqidagi xavotirlarining ortib borayotganligi haqidagi fikrlariga qarshi chiqdi. Baker aytishicha, Amodei AI haqidagi xavotirlari AQShda, xususan data markazlari haqidagi munozaralarga sabab bo'lgan.
Amodei aytishicha, u AI haqidagi xavotirlari haqidagi fikrlarini ortib borayotganligi haqidagi da'volar noto'g'ri. Uning aytishicha, u AI haqidagi fikrlari haqidagi maqolalarida xavotirlar va afzalliklarni teng taqsim qilgan.
Amodei aytishicha, u AI haqidagi munozaralarning aslida ishonch inqirozidir. Uning aytishicha, oddiy odamlar kompaniyalarga, hukumatga va texnologiya sanoatiga ishonmaydilar.
Amodei aytishicha, regulatsiya haqidagi munozaralar aslida oddiy odamlarning manfaatlarini himoya qilish haqidadir. Uning aytishicha, regulatsiya AI kompaniyalariga qarshi emas, balki oddiy odamlarning manfaatlarini himoya qilish uchun kerak.
Amodei aytishicha, Anthropic kompaniyasi AI haqidagi regulatsiya haqidagi fikrlarini juda ehtiyotkorlik bilan ishlab chiqmoqda. Uning aytishicha, kompaniya AI haqidagi regulatsiya haqidagi fikrlarini kichik kompaniyalarga foyda keltiradigan va katta kompaniyalarga zarar keltiradigan shaklda ishlab chiqmoqda.