Trendaavat aiheet
#
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.
Voivatko LLM:t olla PROVABLE-tietokoneita?
Percepta osoitti, että muuntaja voi OLLA tietokone. Käännetyt painot, deterministinen suoritus, 30k tokenia/s.
Mutta kukaan ei kysynyt ilmeistä jatkokysymystä: mistä tiedät, että se on laskettu oikein?
Rakensin siis vahvistuskerroksen. STARK, joka todistaa sen 👇
12.3. klo 05.30
1/4 LLM:iä ratkaisee tutkimustason matematiikkatehtäviä, mutta kamppailee peruslaskujen kanssa. Me kuromme tämän kuilun umpeen muuttamalla heidät tietokoneiksi.
Rakensimme tietokoneen muuntajan SISÄLLE, joka pystyy ajamaan ohjelmia miljoonien askelten verran sekunneissa, ratkaisten jopa vaikeimmat Sudokut 100 % tarkkuudella.
Käännetyn laskennan ongelma on luottamus.
Luotat kääntäjään. Luotat kestoon. Luotat huomiomekanismiin. Jos jokin näistä on väärin, tulos on väärä.
Tämä on vanhin ongelma tietotekniikassa. Joko luotat koneeseen tai varmistat tuloksen.
Rakensimme kolme varmennustasoa:
Taso 1: Ohjelma toimii muuntajan sisällä (sama kuin Percepta)
Taso 2: Neljä itsenäistä moottoria tuottavat saman tuloksen (transformer, native, Burn, ONNX)
Taso 3: STARK-todistus varmistaa suorituksen ilman uudelleenajamista
62
Johtavat
Rankkaus
Suosikit