Thinking Machines 洽谈以约 400 亿美元估值融资逾 10 亿美元,低于去年末的 500 亿目标 | AREX