Jacob Tsimerman announced this week that he will soon join OpenAI's research team. He will head up the newly created Mathematical AI Safety Institute (MAISI).