Если автономные транспортные средства смогут существенно снизить количество дорожно-транспортных происшествий к 2035 году, это будет огромным достижением. Но безопасность критически важной автономии требует доказательств, а не обещаний. Вот почему Inference Labs сосредоточена на проверяемом выводе для систем, которые работают в реальном мире.