Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
LLMs podem ser computadores COMPROVÁVEIS?
A Percepta mostrou que um transformador PODE SER um computador. Pesos compilados, execução determinística, 30k tokens/seg.
Mas ninguém fez a pergunta óbvia de acompanhamento: como você sabe que isso foi calculado corretamente?
Então construí a camada de verificação. Um STARK que prova isso 👇
12 de mar., 05:30
1/4 dos LLMs resolvem problemas de matemática de nível de pesquisa, mas têm dificuldade com cálculos básicos. Nós preenchemos essa lacuna transformando-os em computadores.
Construímos um computador DENTRO de um transformador que pode rodar programas por milhões de passos em segundos, resolvendo até os Sudokus mais difíceis com 100% de precisão
O problema da computação compilada é a confiança.
Você confia no compilador. Você confia no tempo de execução. Você confia no mecanismo de atenção. Se algum desses estiver errado, o resultado está errado.
Esse é o problema mais antigo da computação. Você confia na máquina ou verifica a saída.
Construímos três níveis de verificação:
Nível 1: O programa roda dentro do transformador (igual ao Percepta)
Nível 2: Quatro motores independentes produzem o mesmo resultado (transformador, nativo, Queima, ONNX)
Nível 3: Uma prova STARK verifica a execução sem reexecutá-la
79
Melhores
Classificação
Favoritos