neural proofs cyber proof that one neuron have control over other neuron in bostrom semantic neural proofs are implemented for cosmos, cyber and ethereum vimputers discover all concepts Linked References cybergift global recognition hypothesis neural techniques for trident rethink gift self-optimizing compilation semantic neural proofs service layer Local Graph