The Mathematics of AI Safety Georgia Institute of Technology