Vitalik Prediction: Bug-Free Code in the 2030s Will Become Feasible

BlockBeats News, December 24th, Ethereum founder Vitalik Buterin posted on social media, saying, "Record a prediction: 'Bugs are inevitable, you cannot write bug-free code' will no longer hold true in the 2030s."

"Of course, there will still be a large amount of software with bugs because in their use cases, the importance of functionality expansion outweighs absolute correctness; but if you really want bug-free code, by then it will be achievable."