So you don’t buy the meme that AGI would prefer to operate on blockchains rails because of their universality, security, programmability, etc.?

AGI will decisively obsolete blockchains, but it's likely it'll be obsolete for all but 1 or 2 usecases well before then (few years) as non-blockchain P2P, ZK, trust infrastructure develops

Where blockchains are limited to only objective strict consensus, AGI(s) can achieve complex, subjective consensus - "AGI will use blockchains" is a silly, nonsensical meme not unlike "telegraphs will use internet" 

Valuable cryptoassets like BTC and ETH will live on after blockchains are obsolete because, as I've said a hundred times before, this is a socioeconomic movement, and tech is only means to an end. The tech will be replaced, the socioeconomics will live on.

Caveat: "AGI" is in itself a meme, so I'm assuming it'll do what people popularly expect

How would AGIs (assuming there are many of them) reach a consensus or trust each other?

I imagine they would have similar difficulties doing that the same as humans have...

Full-stack web3 developer, learn more about my projects here: https://github.com/tempe-techie 

Interested in ZK, FHE, PUFs, hardware, system design, ai safety, and smart contact security.

I don't think ZK proofs are a magic bullet that can be used for everything, at least not on its own.

Let's be more concrete. For example, AGIs will likely need a way to define values of their actions and how to transact these values. Basically a currency, just like humans have it. Sure, you can have ZK proofs to prove actions & decisions, but what's missing is a storage system. 

If you don't have blockchain as an independent storage system (to be used together with ZK proofs), what do you have instead?

Sharing their own source code/algos with each other or zk proofs of their algos so they can verify decisions and actions