Temas en tendencia
#
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.
¿Pueden los LLMs ser ordenadores DEMOSTRABLES?
Percepta demostró que un transformador puede SER un ordenador. Pesos compilados, ejecución determinista, 30k tokens/seg.
Pero nadie preguntó la pregunta obvia: ¿cómo sabes que se calculó correctamente?
Así que construí la capa de verificación. Un STARK que lo 👇 demuestra
12 mar, 05:30
1/4 de los LLMs resuelven problemas matemáticos de investigación pero tienen dificultades con cálculos básicos. Cerramos esta brecha convirtiéndolos en ordenadores.
Construimos un ordenador DENTRO de un transformador que puede ejecutar programas durante millones de pasos en segundos, resolviendo incluso los Sudokus más difíciles con un 100% de precisión
El problema del cómputo compilado es la confianza.
Confías en el compilador. Confías en la duración de la ejecución. Confías en el mecanismo de atención. Si alguno de estos está mal, la salida es incorrecta.
Este es el problema más antiguo de la informática. O confías en la máquina o verificas la salida.
Construimos tres niveles de verificación:
Nivel 1: El programa se ejecuta dentro del transformador (igual que Percepta)
Nivel 2: Cuatro motores independientes producen el mismo resultado (transformador, nativo, Burn, ONNX)
Nivel 3: Una prueba STARK verifica la ejecución sin volver a ejecutarla
78
Populares
Ranking
Favoritas