Accel reportedly in talks to lead $1B round for Thinking Machines at $40B valuation