This is one of the things we're working on!
if it's obvious to everyone that verification is the bottleneck to AI accelerated software engineering,
why are so few people learning math? not linear algebra or analysis, but stuff directly related to verification, like proof, type, category, lattice theories?