Using math to ensure AI systems can operate safely

As artificial intelligence (AI) takes on increasingly critical roles—from managing power grids to piloting autonomous vehicles—making sure these systems are safe has never been more important. But how can we be certain that the AI controlling them can be trusted?

This article was originally published on this website.