Using math to ensure AI systems can operate safely
Short excerpt below. Click through to read at the original source.
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?