Robinhood CEO Vlad Tenev는 모든 코드가 2년 이내에 공식적으로 검증될 것이라고 예측합니다.

본문

Robinhood CEO Vlad Tenev는 그의 AI 스타트업인 Harmonic이 Aristotle 도구를 확장함에 따라 모든 코드가 2년 이내에 공식적으로 검증될 것이라고 예측합니다. Robinhood Markets 로고(Wikimedia Commons, 공개 도메인) AI 스타트업 Harmonic의 회장이기도 한 Robinhood 대표는 안전이 중요한 시스템부터 시작하여 소프트웨어 정확성에 대한 수학적 증명이 빠르게 다가오고 있다고 말했습니다. Vlad Tenev는 소프트웨어 산업에 대한 대담한 전망을 가지고 있습니다. Robinhood의 공동 창립자이자 CEO는 모든 코드가 2년 이내에 공식적으로 검증될 것이라고 말합니다. Tenev는 2026년 11월 4일 X의 게시물에서 이러한 예측을 했습니다. 2026년 10월 27일 게시물에서 Tenev는 이미 모든 소프트웨어와 하드웨어가 결국 검증될 것이라고 주장했습니다.

이는 Tenev가 회장을 맡고 있는 AI 스타트업인 Harmonic의 발표와 함께 발표되었습니다. Harmonic은 자사의 Aristotle 시스템이 이제 C 코드와 Verilog 하드웨어 설계를 검증할 수 있다고 말했습니다. Tenev는 2013년에 Robinhood를 공동 창립했으며 여전히 운영하고 있습니다. 또한 일부 독자들이 예측을 조심스럽게 다루는 이유도 설명합니다. 검증 붐을 예측하는 사람은 검증을 판매하는 회사의 의장입니다. 지금까지 작성된 모든 코드 라인에 적용되는 변화는 말할 것도 없고 업계 전반의 변화에 ​​2년은 짧습니다. Harmonic의 Aristotle이 데모를 넘어 채택되는지, Robinhood가 자체 스택에 검증된 구성 요소를 공개하는지, 경쟁업체가 비슷한 약속을 하기 시작하는지 살펴보세요.

Robinhood의 CEO인 Vlad Tenev는 모든 코드가 2년 내에 공식적으로 검증될 것이라고 예측하고 Crypto Briefing에 처음 등장했습니다.