Thinking Machines Lab Seeks Funding at $40 Billion Valuation · Digg