Se os veículos autónomos puderem reduzir significativamente os acidentes rodoviários até 2035, isso é enorme. Mas a autonomia crítica para a segurança exige provas, não promessas. É por isso que a Inference Labs se concentra em inferência verificável para sistemas que operam no mundo real.