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