دانشمندان دانشگاه استنفورد با استفاده از هوش مصنوعی، یک ابزار توسعه دادند که در کمتر از نیم روز و با هزینه کمتر از ۵۰۰ دلار، یک پروژه مهندسی را تکمیل کرد. این کار قبلاً پنج ماه به سه کارشناس نیاز داشت. این فناوری در زمینه ریاضیات و کدنگاری به نام تأیید رسمی، که برای اثبات بیخطای نرمافزار استفاده میشود، پیشرفت قابل توجهی ایجاد کرده است. شرکت &Truth، که چویو سون، یکی از پژوهشگران، به آن پیوست، این فناوری را برای تأیید بخشی از کد برنامه پیامرسانی Signal استفاده کرد. این شرکت ۷۰ میلیون دلار سرمایهگذاری دریافت کرده است و هدف دارد هر زبان برنامهنویسی را تأیید کند. شرکتهای دیگر مانند Harmonic نیز در این زمینه فعالیت میکنند و با شرکتهای بزرگ مانند Nvidia همکاری دارند.