هوش مصنوعی وارد میدان اثبات امنیت نرمافزار شد؛ آزمایش گوگل روی سیگنال
گوگل دیپمایند با کمک ابزار هوش مصنوعی AlphaProof Code توانست در یک پروژه چهارهفتهای، بخشی از تضمینهای امنیتی پروتکل رمزنگاری سیگنال را بهصورت ریاضی تأیید کند.
کد خبر: ۱۴۹۵ تاریخ انتشار : ۱۴۰۵/۰۸/۱۹