&Truth AI yordamida dasturiy ta'minotni tekshiradi
&Truth nomli yangi startap AI yordamida dasturiy ta'minotni rasmiy tekshirishni avtomatlashtirish uchun 70 million dollar urug'lik sarmoya bilan ishga tushdi. Bu jarayon dasturning to'g'ri ishlashini matematik usulda isbotlaydi.