Theorem می‌خواد جلوی باگ‌های هوش مصنوعی رو بگیره! (و ۶ میلیون دلار جذب کرد!)

یه استارتاپ باحال به اسم Theorem داره روی یه موضوع خیلی مهم کار می‌کنه: جلوگیری از باگ‌هایی که هوش مصنوعی توی کدها می‌ذاره! با گسترش استفاده از هوش مصنوعی در برنامه‌نویسی، کم‌کم داریم به جایی می‌رسیم که مشکل اصلی دیگه نوشتن کد نیست، بلکه اعتماد کردن به درستی اون کده. Theorem می‌خواد با ابزارهای خودکار، صحت کدهایی که هوش مصنوعی تولید می‌کنه رو بررسی کنه و جلوی فاجعه رو بگیره.

این شرکت که توی سان فرانسیسکو هست، تونسته ۶ میلیون دلار سرمایه جذب کنه تا این ابزارها رو بسازه. سرمایه‌گذارهای بزرگی هم پشتشون هستن. قضیه اینه که الان هوش مصنوعی داره خیلی سریع کد تولید می‌کنه، اما ما هنوز نمی‌تونیم مطمئن بشیم که این کدها درست کار می‌کنن یا نه. این باعث شده یه «شکاف نظارتی» بزرگ به وجود بیاد که می‌تونه زیرساخت‌های حیاتی مثل سیستم‌های مالی و شبکه‌های برق رو به خطر بندازه.

جالب اینجاست که Theorem از یه تکنیک قدیمی به اسم «تایید صوری» (Formal Verification) استفاده می‌کنه. این تکنیک با ریاضیات ثابت می‌کنه که یه نرم‌افزار دقیقاً همون‌طوری که باید، کار می‌کنه. قبلاً استفاده از این تکنیک خیلی گرون و زمان‌بر بود، اما Theorem با استفاده از هوش مصنوعی تونسته این فرآیند رو خیلی سریع‌تر و ارزون‌تر کنه.

تحلیل و بررسی: به نظر می‌رسه Theorem داره روی یه مشکل خیلی جدی دست می‌ذاره. با افزایش استفاده از هوش مصنوعی در برنامه‌نویسی، نیاز به ابزارهایی که بتونن صحت کدها رو تضمین کنن، بیشتر از همیشه حس می‌شه. اگه Theorem بتونه راه حل مناسبی ارائه بده، می‌تونه یه بازیگر مهم توی صنعت نرم‌افزار باشه و حتی پای رگولاتورها هم به این حوزه باز بشه.

منبع: VentureBeat (مشاهده متن اصلی)