They can rely on compilers, solvers, theorem provers to validate the generated softwares and maths. That’s what makes it possible to iterate quickly in a loop and self correct. You cannot do that in soft industries like legal and medicine

▲

orphereus 6 hours ago | parent [-]

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.

	▲	dgellow 6 hours ago \| parent [-]
		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)