Quanta Magazine flipped this story into Computer Science•1710d
As AIs begin to take to the streets, old math is being used to keep us safe. An idea first posed by the legendary mathematician David Hilbert about proving polynomials positive has now been co-opted into the field of optimization theory and is allowing self-driving cars to make rapid-fire decisions in order to avoid collisions.