Launched Zeroth Research, a non-profit startup making intelligent systems safe, with mathematical certainty.