Thinking Machines Negotiates $1 Billion Funding at $40 Billion Valuation