즉시 정리 · LLM 생성
2026-05-18T14:31:59.999Z경 5분 사이에 ETH가 2,121.03에서 2,113.92 USD로 0.34% 하락했다. 동시간대에 Vitalik Buterin이 AI를 활용한 formal verification이 암호화폐 보안을 강화할 수 있다고 밝힌 CoinDesk 기사가 14:19에 공개됐고, Bitcoin이 5월 상승분을 모두 반납하며 77,000 USD 아래로 내려간 CoinDesk 시장 업데이트도 14:26에 나왔다. 다만 두 기사 모두 ETH 가격 하락을 직접 언급하지 않았으며, Reddit·트위터 등에서 ETH 특화 루머는 확인되지 않았다.
⚠ 본 글은 발생 직후 흩어진 보도·트윗·루머를 자동 정리한 것이며, 확인되지 않은 정보가 포함됩니다. 투자 조언이 아닙니다. 각 항목의 출처 링크에서 원문을 직접 확인해 주세요.
참고 소스 2건
- CoinDesk·2026-05-18↗Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure
The Ethereum co-founder argued that AI-assisted "formal verification" could become one of the most important tools for cybersecurity in a new blog post.
- CoinDesk·2026-05-18↗Live markets: Bitcoin gives up all of May's gains, slipping below $77,000
Strategy made a mammoth $2 billion bitcoin purchase last week, but it's not lifting crypto spirits or prices.
