Comment by augment_me

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