That is not the point I was making. I am not talking about validating software or maths. It can generate stuff that is valid, but bad and incomprehensible.

What I’m saying is that AI labs are talking so much about software and maths because we already have tools that can say « it’s all good ». That makes it possible and worth it for them to spend 1 week of compute on a problem until the validator passes, then publish marketing pieces. You cannot do the same in medicine or laws (modulo some niche areas)