Ethereum co-founder Vitalik Buterin has recently highlighted an innovative artificial intelligence (AI) application. This idea, designed for the formal verification of code and bug detection, aims to tackle Ethereum’s susceptibility to code bugs.

Buterin’s support for these solutions reflects the growing synergy between AI and blockchain technologies.

Vitalik Buterin Praises AI

Given the increasing complexity of cyber threats, AI’s role in bolstering cybersecurity has become crucial. This is especially true for the Decentralized Finance (DeFi) and smart contract ecosystem, which has billions in total value locked (TVL).

Even giants in the tech industry, such as Microsoft and OpenAI, are trying to enhance cybersecurity with AI. They are exploring AI’s potential in both identifying and countering cyber threats. Their collaborative efforts are part of a larger initiative to ensure AI is used responsibly and to enhance cybersecurity measures.

Buterin’s perspective on artificial intelligence extends beyond cybersecurity. Earlier this year, he shared four innovative ideas for integrating AI with cryptocurrency. These concepts suggest a future where AI and blockchain technology work hand in hand.

“One application of AI that I am excited about is AI-assisted formal verification of code and bug finding. Right now Ethereum’s biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing,” Buterin said.

Another notable idea is the inclusion of AI in blockchain systems, particularly in prediction markets. AI could leverage its vast knowledge in these markets for in-depth analysis, enhancing blockchain applications.

Read more: AI for Smart Contract Audits: Quick Solution or Risky Business?

Furthermore, Buterin envisions AI as a user interface that could simplify cryptocurrency transactions for users. This interface could provide guidance, interpret smart contracts, and prevent scams. Despite the potential benefits, Buterin warns against over-reliance on AI. He advocates for a balance with traditional interfaces to ensure user security and clarity.

Vitalik Buterin also proposes using artificial intelligence to set rules for blockchain games or decentralized autonomous organizations (DAOs). In this scenario, AI could act as a judge or a reference for rules. Another innovative idea is the development of AI systems using blockchain technology. This approach aims to create decentralized, impartial, and secure AI systems.

Artificial Intelligence Tokens Surge

The enthusiasm for AI in the cryptocurrency sector has led to a surge in AI-related tokens, particularly following the announcement of OpenAI’s text-to-video AI model, Sora. Tokens associated with AI or claiming to utilize AI technology, such as Worldcoin’s WLD, have seen significant price increases, with some tokens setting new all-time highs.

Another AI token, The Graph (GRT), saw an almost 60% increase, briefly surpassing $0.27. Despite these gains, GRT remains significantly down from its all-time high.

Render (RNDR) has also made headlines by entering the crypto market’s top 50 following a year-on-year gain of 1,100%. Currently trading close to its all-time high, RNDR exemplifies the potential for AI tokens to achieve new milestones.

Read more: 13 Best AI Crypto Trading Bots To Maximize Your Profits

The surge in AI tokens is not limited to the crypto market. It also mirrors the performance of major AI players in traditional finance, such as Nvidia. Nvidia’s shares have surged by over 45% since the beginning of the year, contributing significantly to the S&P 500’s growth and further fueling the AI token rally.