Thinking Machines Lab洽谈按大约400亿美元估值融资。