Lambda is working with multiple mathematicians and engineers in formal verification with @leanprover.
This is just the start. Check our new blogposts. We're creating something pretty big.

AMO-Lean is so cool 🤯
https://blog.lambdaclass.com/amo-lean-towards-formally-verified-optimization-via-equality-saturation-in-lean-4/…

Brandon Kase

Twitter

Lambda는 @leanprover를 사용하여 여러 수학자 및 엔지니어와 함께 형식 검증 작업을 진행하고 있습니다.
이건 시작에 불과해요. 저희 새 블로그 게시글들을 확인해 보세요. 아주 큰 프로젝트를 진행 중입니다.

체인링크(Chainlink) 예정된 분기별 토큰 잠금 해제를 통해 약 1억 6,500만 달러 상당의 링크(Chainlink) 토큰 1,787만 5천 개를 발행했다고 온체인 데이터를 통해 밝혔습니다.
새롭게 확보된 물량 중 1487만 5천 개의 링크(Chainlink) 포함되어 있습니다.

체인링크(Chainlink) 토큰의 대규모 해제로 매도세 우려가 커지고 있습니다.

ME 뉴스에 따르면, 4월 5일(UTC+8) 경제학자들은 미국 소비자들이 체감한 갑작스러운 휘발유 가격 급등이 이번 주 발표될 주요 물가 지표에 고스란히 반영될 것이라고 밝혔습니다. 미국의 3월 소비자물가지수(CPI)는 전월 대비 1% 상승할 것으로 예상되며, 이는 2022년 이후 최대 월간 상승폭이 될 것입니다. 근원 CPI는 전월 대비 0.3% 상승할 것으로 전망됩니다. 앞서 이란-이라크 전쟁으로 인해 미국 주유소의 휘발유 가격이 갤런당 약 1달러 정도 인상된 바 있습니다. CPI 발표 하루 전에는 연준이 선호하는 물가 지표가 전쟁 이전의 물가 상승 압력을 보여줄 것으로 예상됩니다. 경제학자들은 근원 CPI가...

경제학자들은 미국의 3월 소비자물가지수(CPI)가 1% 급등할 수 있으며, 연준이 올해 금리를 인하하기 어려울 수 있다고 예측합니다.

월가에서 암호화폐가 차지하는 비중은 그 어느 때보다 커졌습니다. 블랙록은 2026년 회장 서한에서 디지털 자산과 연계된 운용자산 (운영자산(AUM) 이 거의 1,500억 달러에 달한다고 밝혔습니다. 상장 기업들은 110만 비트코인(BTC) 이상을 보유하고 있습니다.