위험 고지: 본 사이트의 모든 콘텐츠는 투자 조언이 아니며, 어떠한 매매 신호·거래 유도 서비스도 제공하지 않습니다. 인민은행 등 10개 부처의 「가상화폐 거래·투기 위험 방지 및 처리에 관한 통지」에 따라 투자자 여러분의 리스크 인식을 높이시기 바랍니다. 문의 / [email protected] 琼ICP备2022009338号
TechFlow 소식에 따르면, 7 월 21 일 비탈릭 부테린 (@VitalikButerin) 이 게시물을 통해 밝힌 바에 따르면, 그는 새로운 고급 프로그래밍 언어 개발을 제안했습니다. 이 언어는 Lean(HOL 과 같은 형식 검증 도구 등) 으로 컴파일될 수 있으며, 핵심 목표는 인간이 정의와 정리 내용 (증명 자체보다는) 을 최대한 쉽게 읽을 수 있도록 하는 것입니다. 그가 구상한 사용 시나리오는 AI 가 증명 내용을 출력하고, 이 언어는 독자가 AI 가 증명한 구체적인 명제를 빠르게 이해하도록 돕는 것입니다.
Vitalik Buterin(@VitalikButerin) 의 게시물에 따르면, 그는 Lean(또는 HOL 과 같은 형식 검증 도구) 으로 컴파일될 수 있는 새로운 고급 프로그래밍 언어 개발을 제안했습니다. 핵심 목표는 인간이 정의와 정리 내용 (증명 자체가 아님) 을 가능한 한 쉽게 읽을 수 있도록 하는 것입니다. 그가 구상한 사용 시나리오는 AI 가 증명 내용을 출력하고, 해당 언어는 독자가 AI 가 증명한 구체적 명제를 빠르게 이해하도록 돕는 것입니다.
Web3 심층 보도에 집중하고 흐름을 통찰
