Breakthrough in safety-critical machine learning could be just the beginning