Wenn autonome Fahrzeuge bis 2035 die Straßenunfälle erheblich reduzieren können, wäre das riesig. Aber sicherheitskritische Autonomie erfordert Beweise, keine Versprechen. Deshalb konzentriert sich Inference Labs auf überprüfbare Inferenz für Systeme, die in der realen Welt operieren.