in times of AI, math is the way forward for humanity

The way for humans to control, protect themselves and safely benefit from AIs is through mathematics.

Here is a presentation by an MIT professor regarding this very specific subject.

Mathematics can open the door to having AI-resistant blockchains. Meaning, Blockchains whose design, infrastructure and implementation is resistant to Super-Intelligence attacks.

In the words of Professor Tegmark: "As Smart as an AI is, it cannot do the mathematically impossible.

I do feel and believe that, in the long run, this is the only way forward.

Most of the attacks currently endured by cryto-communities are possible due to design flaws exploited by intelligent humans.

Now, one thing is intelligent humans; another, very different thing is intelligent humans backed by super intelligent AIs.

The sheer existence of the crypto space and the success of the bitcoin protocol are consequences of a mathematical feat: Cryptography.

So, I'd say it's time to leap frog most of the crypto industry and enter the new era of AI-resistant blockchains.

As of how to do it, I don't know. It looks like a very tall order at first sight. The first thing that comes to my mind is to study the Cardano specifications:

Cardano isn't a blockchain designed for AI; it is designed so that it can be provable. At least, that's my understanding. It is written in Haskell which, contrary to C++, is a purely functional language. This means that every function in Haskell is a function in the mathematical sense. This fact alone should help wonders in order to mathematically proof the code and the design.

Is there any other blockchain that has dedicated so much energy and effort to peer-review its building and design blocks?

If so, please let me know!