Thinking Machines is reportedly in the process of raising a $5 billion funding round led by Accel, which would value the startup at $40 billion