بوترین اتریوم هیجان انگیزترین اپلیکیشن هوش مصنوعی را نام می برد

ویتالیک بوترین، یکی از بنیانگذاران اتریوم، در یک پست اخیر در رسانه های اجتماعی تاکید پتانسیل هوش مصنوعی (AI) در ایجاد انقلابی در نحوه تأیید کد و شناسایی اشکالات در شبکه اتریوم. 

بوترین اشتیاق خود را برای تأیید رسمی کد به کمک هوش مصنوعی ابراز کرد و خاطرنشان کرد که بزرگترین خطر فنی که امروز اتریوم با آن مواجه است ناشی از اشکالات کد آن است. 

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

تأیید کد به کمک هوش مصنوعی توضیح داده شده است

در قلب هیجان بوترین، مفهوم تأیید رسمی به کمک هوش مصنوعی است، فرآیندی که می تواند چشم انداز امنیت و کارایی بلاک چین را به طور چشمگیری تغییر دهد. 

راستی‌آزمایی رسمی به استفاده از مدل‌های ریاضی برای اثبات یا رد درستی الگوریتم‌های زیربنایی یک سیستم اشاره دارد، تا اطمینان حاصل شود که آن‌ها دقیقاً مطابق با تمام شرایط ممکن رفتار می‌کنند. 

با استفاده از هوش مصنوعی در این زمینه، توسعه‌دهندگان می‌توانند تشخیص خطاها و آسیب‌پذیری‌ها در قراردادهای هوشمند و سایر کدهای مرتبط با بلاک چین را خودکار و افزایش دهند و از سوءاستفاده‌ها و شکست‌های پرهزینه جلوگیری کنند. 

این رویکرد نه تنها نویدبخش بهبود استحکام بلاک چین اتریوم است، بلکه نشان دهنده گام مهمی به جلو در زمینه گسترده تر توسعه نرم افزار است، جایی که اشکالات و نقص های امنیتی همچنان یک چالش فراگیر هستند.

هوش مصنوعی جذاب بوترین می گیرد  

همانطور که توسط U.Today گزارش شده است، بوترین همچنین شوخ طبعی خود را با برداشتی طنز از تکامل فناوری هوش مصنوعی به نمایش گذاشت. او از طریق یک پست بازیگوش، تصویر دراماتیک و اغلب تهدیدآمیز هوش مصنوعی در فیلم ها را با واقعیت هوش مصنوعی مکالمه امروزی مقایسه کرد.

با این حال، او قبلاً نگرانی‌های خود را در مورد خطرات وجودی ناشی از هوش مصنوعی فوق‌هوشمند ابراز کرده است و پیشنهاد می‌کند که پیشرفت‌های کنترل نشده در هوش مصنوعی می‌تواند منجر به نتایجی شود که در آن انسان‌ها دیگر نیروی غالب نیستند.

به گفته بوترین، موارد استفاده همگرا از هوش مصنوعی و بلاک چین پتانسیل قابل توجهی را ارائه می دهد، به ویژه زمانی که هوش مصنوعی در مکانیسم های موجود برای بهبود عملیات در مقیاس خرد ادغام می شود و اجرای آن هم امیدوارکننده و هم ساده است. با این حال، ایجاد یک "Singleton" - یک هوش مصنوعی غیرمتمرکز، قابل اعتماد از طریق بلاک چین و تکنیک های رمزنگاری - چالش ها و خطرات قابل توجهی را به همراه دارد.