Regarding your 2nd paragraph: That sounds true. What we need are science & engineering startups and AI/ML/robotics and some formal methods and crypto applied to

Regarding your 2nd paragraph: That sounds true. What we need are science & engineering startups and AI/ML/robotics and some formal methods and crypto applied to those fields. Are you interested?