Can LLMs be PROVABLE computers?
Percepta showed that a transformer can BE a computer. Compiled weights, deterministic execution, 30k tokens/sec.
But nobody asked the obvious follow-up: how do you know it computed correctly?
So I built the verification layer. A STARK that proves it 👇

1/4 LLMs solve research grade math problems but struggle with basic calculations. We bridge this gap by turning them to computers.
We built a computer INSIDE a transformer that can run programs for millions of steps in seconds solving even the hardest Sudokus with 100% accuracy

Christos Tzamos

Twitter

LLM은 증명 가능한 컴퓨터일까요?

Percepta는 Transformer가 컴퓨터가 될 수 있음을 보여주었습니다. 컴파일된 가중치, 결정론적 실행, 초당 3만 토큰 처리 속도.

하지만 아무도 당연한 후속 질문을 하지 않았습니다. 어떻게 계산이 정확하게 이루어졌는지 알 수 있을까요?

그래서 저는 검증 계층을 만들었습니다. 이를 증명하는 STARK 예제는 다음과 같습니다. 👇

체인링크(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) 이상을 보유하고 있습니다.