“Thinking Machines has achieved a few hundred million dollars in Annual Recurring Revenue (ARR).”