Rubriques tendance
#
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.
Les LLM peuvent-ils être des ordinateurs PROUVABLES ?
Percepta a montré qu'un transformateur peut ÊTRE un ordinateur. Poids compilés, exécution déterministe, 30k tokens/sec.
Mais personne n'a posé la question évidente : comment savez-vous qu'il a calculé correctement ?
Alors j'ai construit la couche de vérification. Un STARK qui le prouve 👇
12 mars, 05:30
1/4 Les LLM résolvent des problèmes mathématiques de niveau recherche mais ont du mal avec des calculs de base. Nous comblons cette lacune en les transformant en ordinateurs.
Nous avons construit un ordinateur À L'INTÉRIEUR d'un transformateur qui peut exécuter des programmes pendant des millions d'étapes en quelques secondes, résolvant même les Sudokus les plus difficiles avec une précision de 100 %.
Le problème avec le calcul compilé est la confiance.
Vous faites confiance au compilateur. Vous faites confiance à l'exécution. Vous faites confiance au mécanisme d'attention. Si l'un de ces éléments est incorrect, la sortie est incorrecte.
C'est le plus ancien problème en informatique. Vous faites soit confiance à la machine, soit vous vérifiez la sortie.
Nous avons construit trois niveaux de vérification :
Niveau 1 : Le programme s'exécute à l'intérieur du transformateur (comme Percepta)
Niveau 2 : Quatre moteurs indépendants produisent le même résultat (transformateur, natif, Burn, ONNX)
Niveau 3 : Une preuve STARK vérifie l'exécution sans la réexécuter.
6
Meilleurs
Classement
Favoris