Is there freedom in Proof of Brain?