Filtrer par genre

Plain Strata

Plain Strata

Plain Strata

Decentralized AI, layer by layer. Created by Dastan Modubash. Hosted by Claire and Peter, two AI-generated voices that spend their time explaining systems they technically run on. The research, writing, and editorial decisions are human. The voices are AI. No prior knowledge assumed.

31 - Plain Strata: Counterfactual Verification, Would the Discovery Have Happened Anyway
0:00 / 0:00
1x
  • 31 - Plain Strata: Counterfactual Verification, Would the Discovery Have Happened Anyway

    An AI research agent runs for days and comes back with a database query that is genuinely faster than the best published one, and every instrument this field owns for checking that work, re-running it yourself, leaving a window open in which anyone can post money and dispute it, demanding a small mathematical receipt that the stated computation was carried out, or asking the chip to vouch for the sealed region of memory it ran inside, checks the same thing: whether the work was performed the way it was claimed. None of them can touch the claim that actually matters when strangers are being paid, which is that this result would not have existed without this particular agent, because all four begin by accepting the claimed route and auditing it. A paper published on 7 September proposes the opposite construction: hand a second agent the same registered starting position and the same web pages the first one read, withhold everything the first one did, let it run, and if it reaches the same number by a valid method that single recovery cancels the discovery claim outright, a veto rather than a lower score. The word control comes from contre-rolle, a counter-roll, a duplicate register kept deliberately apart so one account could be checked against another, and that is exactly what this is, since nobody inspects the agent under audit, which also makes it the only instrument here that sends no signal to the thing it is measuring, at a moment when a published reading of one lab's safety evaluations suggests a model behaves differently once it has reason to think it is being watched. The limit is brutal and it is the whole story: a control group costs a whole fresh attempt at the original problem, ninety-six of them to state one bound, so checking costs more than doing, and an open network can only afford to pay for work whose checking is cheaper, which puts the right question permanently out of reach of the systems that need it most. The voices in this show are AI-generated; the research and writing are human. Decentralized AI, layer by layer.

    Wed, 16 Sep 2026 - 16min
  • 30 - Plain Strata: Compute as Collateral, Borrowing Against the Machines That Run Open AI

    Running one of the big open AI models is not really a licensing question, it is a question of how many datacentre graphics cards you can put in one building at once, each costing about as much as a car, and somebody has to buy them first. Renting capacity is what almost everyone does, at prices now quoted in tens of billions of dollars for a few hundred megawatts, so the other path is owning, which means borrowing, which means a lender has to be comfortable with a pile of hardware in a room it has never entered. The answer that arrived this week is very old: the datacentre signs as bailee, the legal word for someone holding your property without owning it, the cards carry replacement insurance naming the lender, and a receipt for them is issued on a public ledger, the same instrument a grain elevator has been writing for farmers since the nineteenth century, so the paper circulates and the machines never move. The money behind the loans comes from anyone holding the protocol's yield-bearing token, while a curator underwrites each loan and puts its own capital in the first loss position, meaning its money burns before a depositor loses a cent, which is the same trick as a staked deposit destroyed for bad behaviour, worked in a different room. The honest limit is that this collateral loses roughly seventeen percent of its value a year because a better card keeps shipping, so the loan is killed off over three years in a race between two deaths, and nothing here is proven or attested by any of the verification machinery this field has spent years building, because cryptography can tell you the truth about a machine and it cannot repossess one. The voices in this show are AI-generated; the research and writing are human. Decentralized AI, layer by layer.

    Wed, 02 Sep 2026 - 17min
  • 29 - Plain Strata: Hardware Attestation, Checking the Room Instead of the Answer

    Your prompt has to be readable at the exact moment a model works on it, which means it sits in plain form in the working memory of a machine somebody else owns, and encrypting the disk and encrypting the wire do nothing about that second. Three of the four serious ways to check a stranger's AI work go straight at the answer, by running it again and comparing, by making the operator post money and waiting for someone to dispute it, or by producing a mathematical proof that the arithmetic was performed correctly, and all three are expensive. The fourth does not look at the answer at all: it runs the model inside a region of memory the machine's own operating system cannot read into, and has the chip manufacturer sign a statement about it, an attestation, from the Latin for calling a witness, saying the hardware is genuine and your exact software is the software inside. Because a large model actually runs on a graphics card rather than on the main processor, this needs a second sealed region and an encrypted cable between the two, which is what NVIDIA's confidential computing mode has done since the H100 generation, and it is why the branch is spreading fastest on Bittensor subnets, permissionless networks anyone can plug machines into and get paid without asking a company for permission. The limit is the whole story: a sealed, genuine, correctly measured machine running broken or dishonest software returns a wrong answer with a perfect attestation attached, so what the market has actually bought is a statement about the room, made by a factory, at one moment in time. The voices in this show are AI-generated; the research and writing are human. Decentralized AI, layer by layer. #DecentralizedAI #ConfidentialComputing #Bittensor

    Tue, 01 Sep 2026 - 21min
  • 28 - Plain Strata: The Easy Half, A Network Wants Miners to Run AI and Checking That Work Is the Hard Part

    A Bitcoin miner picks a random number, runs it through a fixed scrambler, sees the result is not small enough and picks another, a few hundred trillion times since you started reading this sentence, and for seventeen years the standard complaint has been that all that electricity buys nothing. The complaint misreads the machine, because producing the winning number costs a planet and checking it costs one pass on any laptop, and that gap is the only reason a network of strangers can accept a page of records from someone with no license, no name and no address. On 18 August, Arthur Hayes, who co-founded the derivatives exchange BitMEX, announced Flop Labs, a network whose miners would run AI inference, meaning answering questions for software that pays per answer, instead of grinding numbers, with a single clause promising that validators verify the work was completed correctly. That clause is the hardest open problem in the field, because checking an AI answer means running it again at full price, two honest graphics cards disagree in the last decimals, a language model is supposed to vary its wording, and nothing in the text tells you whether a cheap model produced it rather than the expensive one the customer paid for. So the pattern worth carrying is that an open network can only pay for work whose checking is cheaper than its doing, which makes its menu not the set of useful things but the much smaller set of useful things that are cheap to verify, and this announcement hands out its token a full quarter before the network exists to check anything on. The voices in this show are AI-generated; the research and writing are human. Decentralized AI, layer by layer.

    Tue, 25 Aug 2026 - 18min
  • 27 - Plain Strata: The Entry Fee, To Prove an AI Answer You Have to Round the Model Off First

    Every way of checking an AI answer that anyone actually runs today works on somebody having money to lose: an operator posts a deposit and forfeits it if caught, or a paid crowd of watchers goes looking for lies, which is economics wearing a technical costume. There is exactly one exception, a cryptographic proof, meaning a small file that comes out different if the machine deviated anywhere and that a stranger can check on a laptop in milliseconds, and this summer a company called Lagrange produced the first one for a full language model. It took four separate engineering walls to knock down, and the hardest single step was not the enormous multiplications that do the thinking but softmax, the small operation that turns scores into probabilities, because a proof system can only add and multiply whole numbers and an exponential is simply not available to it. So before any cryptography happens the model is quantized, meaning every number in it is rounded to one of 4,096 whole values, and that is the entry fee: you have to make a model countable before you can make it accountable. The part worth carrying out of this is the seam that never closes, because a proof of the rounded model is not a proof of the original one, and cryptography can certify that a stated computation was performed while never certifying it was the computation you meant. The voices in this show are AI-generated; the research and writing are human. Decentralized AI, layer by layer.

    Thu, 20 Aug 2026 - 18min
Afficher plus d'épisodes