Joshua Gross, who previously also worked at OpenAI, had helped build Thinking Machines Lab's flagship product "Tinker".