هارمونیک، استارتاپ هوش مصنوعی مدیرعامل Robinhood، ارسطو را به نرم افزار و تأیید طراحی تراشه گسترش می دهد.

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

از اثبات ریاضی تا کد

Harmonic گفت که ارسطو اکنون می تواند نرم افزار نوشته شده به زبان C و طرح های تراشه های نوشته شده در Verilog را تأیید کند. این شرکت هدف خود را ابرهوش ریاضی توصیف می کند: یک سیستم هوش مصنوعی متمرکز بر استدلال با هدف کاهش توهمات و خطاهای واقعی.

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

کیس فیوژن چهار ساعته

هارمونیک به آزمایشگاه همجوشی ایالات متحده DIII-D اشاره کرد که به گفته او از ارسطو برای بازسازی بخشی از نرم افزار کنترل راکتور خود در چهار ساعت، از یک مقاله تحقیقاتی و یک درخواست 254 کلمه ای استفاده کرد. این مثال برای نشان دادن یک مدل استدلالی است که فقط کد نمی نویسد، بلکه آن را با یک مشخصات بررسی می کند.

پس زمینه و آنچه باید تماشا کرد

هارمونیک در نوامبر گذشته 120 میلیون دلار به ارزش 1.45 میلیارد دلار، با حمایت بازوی سرمایه گذاری انویدیا، Sequoia و Ribbit Capital، جمع آوری کرد. در این گزارش به بودجه جدید یا مشتریان جدید مرتبط با این گسترش اشاره نشده است. آنچه در مرحله بعد اهمیت دارد این است که آیا ابزارهای تأیید از نمایش های تحقیقاتی به کارهای توسعه روزانه شرکت های تراشه و نرم افزار منتقل می شوند و آیا مشتریان برای اطمینان بیشتر هزینه خواهند کرد یا خیر.