Subiecte populare
#
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.
Pot LLM-urile să fie calculatoare DEMONSTRABILE?
Percepta a arătat că un transformator POATE FI un calculator. Greutăți compilate, execuție deterministă, 30k tokens/sec.
Dar nimeni nu a întrebat întrebarea evidentă de continuare: cum știi că a calculat corect?
Așa că am construit stratul de verificare. Un STARK care dovedește asta 👇
12 mar., 05:30
1/4 LLM-uri rezolvă probleme de matematică de nivel de cercetare, dar se chinuie cu calculele de bază. Acoperim acest decalaj transformându-i în calculatoare.
Am construit un calculator ÎN INTERIORUL unui transformator care poate rula programe pentru milioane de pași în secunde, rezolvând chiar și cele mai dificile Sudoku cu o acuratețe de 100%
Problema cu calculul compilat este încrederea.
Ai încredere în compilator. Ai încredere în timpul de rulare. Ai încredere în mecanismul atenției. Dacă vreuna dintre acestea este greșită, rezultatul este greșit.
Aceasta este cea mai veche problemă din informatică. Ori ai încredere în mașină, ori verifici ieșirea.
Am construit trei niveluri de verificare:
Nivelul 1: Programul rulează în interiorul transformatorului (la fel ca Percepta)
Nivelul 2: Patru motoare independente produc același rezultat (transformator, nativ, Burn, ONNX)
Nivelul 3: O demonstrație STARK verifică execuția fără a o relua
61
Limită superioară
Clasament
Favorite