In a world where all systems are made of code, the ability of AI to handle mathematical reasoning will be key to ensuring security.
In the future, most contracts are smart contracts --to make it viable, we will need AI-assisted formal verification.https://blog.ethereum.org/2016/06/17/critical-update-re-dao-vulnerability/ …
-
-
-
AI will be, in effect, our interface to a world that is already too complex for humans.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.