Yes, he threw money to build up teams to solve hard problems. According to this Wikipedia article he was a co-chair of OpenAI when it was founded in 2015: https://en.wikipedia.org/wiki/OpenAI#:~:text=A%20total%20of%... I'm open to being wrong on that though.