Why? Why should a government invest money into this? Here you see human understanding as an ends, while historically in society it has been applied as a means to ends like social power, resource accumulation, etc.

Now these means are generated. If the proof yields some improvement somewhere, it can be used and there needs to be no human in the loop

We built the helicopter? Why not use it and find a bigger mountain.