Thinking Machines Lab, a new startup by former OpenAI CTO Mira Murati, aims to raise $1 billion at a $9 billion valuation, ...