I’ve been testing ai tools for code verification lately, and the results from Logical Intelligence’s Energy-Based Model look really promising for the kind of long-term usefulness your poll asks about. I used their approach myself on a small project and saw cleaner reasoning. That focus on formal verification might shift perceptions from “very useful” toward “necessity” sooner than 20 years.