시장Neutral
비탈릭 부테린, AI 증명 언어 제안
Source: BeInCrypto KR
비탈릭 부테린은 AI가 생성한 증명 주장에 대해 인간이 더 쉽게 검증할 수 있도록 Lean으로 컴파일되는 언어를 제안했습니다. BeinCrypto Korea에서 가장 먼저% %POSTLINK%%
CoinMagnetic 팀
2017년부터 암호화폐 투자. 직접 돈을 넣고 모든 거래소를 테스트합니다.
업데이트: 2026년 7월
인사이트에서 읽기:
비탈릭 부테린은 AI가 생성한 증명 주장에 대해 인간이 더 쉽게 검증할 수 있도록 Lean으로 컴파일되는 언어를 제안했습니다. BeinCrypto Korea에서 가장 먼저% %POSTLINK%%
CoinMagnetic 팀
2017년부터 암호화폐 투자. 직접 돈을 넣고 모든 거래소를 테스트합니다.
업데이트: 2026년 7월
인사이트에서 읽기:
