Robinhood CEO Vlad Tenev predicts all code will be formally verified within two years

Key points

• Robinhood Chief Executive Officer Vlad Tenev has predicted that all software code will undergo formal verification within the next two years.
• While transitioning to formal verification has the potential to dramatically improve software reliability, achieving widespread adoption across the tech industry could encounter notable hurdles, particularly regarding scalability and ensuring the accuracy of code specifications.

Summarized automatically by Kryptokite from reporting by Crypto Briefing. Read the original sources for full detail.