Unscarcity
Sign in for free: Preamble (PDF, ebook & audiobook) + Forum access + Direct purchases Sign In

Unscarcity Research

The Verifiability Premium: When Proof Replaces Credentials

OpenAI's Astra cracked ten decade-old math problems for under $2,000, each with a Lean certificate. Where proof is cheap, credentials stop selling trust.

10 min read 2157 words Updated August 2026 /a/verifiability-premium-trust-collapse

Note: This is a research note supplementing the book Unscarcity, now available for purchase. These notes expand on concepts from the main text. Start here or get the book.

The Verifiability Premium: When Proof Replaces Credentials

The durable question for your profession is not whether a machine can do the work. It is whether anyone can check the answer without taking your word for it.

The $2,000 Receipt

On August 1, 2026, OpenAI published a paper titled Ten Advances in Mathematics and Theoretical Computer Science. Ten problems, each of which had sat without progress for at least a decade, solved by an internal version of an unreleased model called Astra. Among them: a disproof of Connes’ Rigidity Conjecture in operator algebras, and the first improvement since the 1970s to the bounds on how densely you can pack spheres in high dimensions.

The capability is the smaller half of the story. Labs announce breakthroughs constantly, and the standard response is to wait for someone credentialed to look at it and tell you whether it holds. That is not what happened here. Every argument was written into Lean 4, a formal proof checker, and OpenAI posted the machine-checkable certificates to a public GitHub repository. The result does not ask for your trust. It hands you a file and invites you to run the checker yourself.

Noam Brown, one of the researchers behind the underlying reasoning work, put the price on it: under $2,000 in tokens at list prices for all ten proofs combined. He also volunteered the caveats, which is more than most announcements manage. They tried other major problems and failed. “Sadly no Millennium Prize problems (yet).” And they did not push much compute at any single problem, so $2,000 is the bill for the wins, not a price list for mathematics.

Hold the number anyway, because a floor is still a floor. Ten results that a research community could not produce in ten years arrived for roughly the cost of a used car, and arrived pre-verified.

What a Credential Was Always For

A credential is not a measure of knowledge. It is a trust technology, and like every trust technology it exists because verifying the underlying thing directly was too expensive.

You do not read your accountant’s work. You cannot evaluate your structural engineer’s load calculations. You have no way to independently confirm that the radiologist saw what they say they saw. So instead of checking the output, you check a proxy: a degree, a board certification, a license, a track record, a firm’s letterhead. Society built an entire apparatus of examinations and professional bodies for one reason, which is that direct verification of expert work was historically harder than vetting the expert.

That is a conditional arrangement, not a law of nature. It holds only while verification stays expensive.

The Substitution Threshold defines the moment when the cheapest reliable provider of a service stops being human, and the word doing the work in that sentence is “reliable.” A credential is how reliability gets established when you cannot inspect the work. Take away that constraint, and the credential loses its job.

A Lean certificate is what taking away that constraint looks like. It reduces “do I trust the entity that produced this proof?” to “does the file compile?” The second question costs a few seconds of CPU time and does not care whether the author was a Fields medalist, a graduate student, or a model with no release date.

Two Costs, One Ratio

Every piece of knowledge work has two prices attached: the cost to generate an answer and the cost to verify it. Almost everything about how a profession is organized falls out of the ratio between them.

When generation is expensive and verification is also expensive, you get guilds. Credentials, licensure, reputation, long apprenticeships, and the whole social machinery of vouching. This is medicine, law, structural engineering, auditing.

When generation is cheap and verification is cheap, you get commodity markets. Nobody asks about a courier’s credentials, because you can see whether the package arrived.

AI has been collapsing the generation cost across the board for four years. That alone does not dissolve a profession, which is why the doctor and the accountant are still employed while a model can already out-read both of them. What the Astra paper demonstrates is the second collapse, in the domains where it applies: verification cost falling to near-zero and falling into machine hands.

Where both costs collapse together, price is the only variable left. There is nothing else for a credential to do.

Which Work Has a Certificate

This gives you a sorting rule far more useful than “is my job creative?” Ask instead: does my output have a checker?

Work that already ships with something like a certificate:

  • Code, checked by a test suite, a type system, a fuzzer, a build that either passes or does not. This is why software felt the shock first, and why the developer job ladder lost its bottom rungs before anyone’s ladder did.
  • Formal mathematics and cryptography, checked by proof assistants like Lean.
  • Tax positions, checked against statute, precedent, and eventually an audit.
  • Structural load calculations, checked by simulation and by physics that renders its verdict without a hearing.
  • Actuarial and financial models, checked against realized outcomes and regulatory stress tests.
  • Drug candidates, checked by assays and trials, slowly and expensively, but mechanically.

Work with no checker at all:

  • Deciding which problem is worth solving. Nothing verified that a human chose all ten of Astra’s problems.
  • Judging whether a client should settle or fight, when both branches are defensible.
  • Telling a patient what a diagnosis means for the life they actually wanted to live.
  • Setting the objective function in the first place, which is where Goodhart’s Law eats organizations alive.
  • Being the person who can be held responsible when the answer turns out to be wrong.

That last item is a separate firewall, and it is worth being precise about how it differs. The liability gap argues that a professional license sells accountability, a named human the system can punish. Verifiability and accountability are not the same shield. A Lean certificate proves that a theorem follows from its axioms. It says nothing about whether the theorem was worth proving, and there is no one to sue if it was not.

So a profession has two things holding the line, and they fail independently. Verifiability failing means your work can be checked without you. Accountability failing means nobody has to answer for it. Where the first collapses and the second was never required, the profession clears out fast. Where the first collapses but the law still demands a suable human, you keep the human and shrink the job to a signature.

The Field That Went First, and Said So Out Loud

Mathematics is the interesting case precisely because it built its own verifier and then had to live with the consequences.

The profession saw this coming. The Leiden Declaration on Artificial Intelligence and Mathematics, published in June 2026 out of a workshop at Leiden University and endorsed by the International Mathematical Union, warns that reliance on AI-generated proofs threatens the accuracy, reliability, and independent verifiability of mathematical research. It does not ask for a ban. It asks the community to make its values explicit before the norms get set by whoever ships fastest. Over a thousand people signed in the first day. Terence Tao endorsed it wholeheartedly, singling out its call for mathematicians to participate in public discourse, and noted that in an era of proof abundance the field also needs to talk about what mathematics is for.

Timothy Gowers attended the workshop and declined to sign, not out of disagreement so much as discomfort with how confident several of its assertions were. His own reckoning came separately and more personally. After GPT-5.6 Pro solved, on its first attempt, problems he had worked on himself, he described it as “not particularly pleasant to have the rug pulled out from under my feet,” while still being glad they were solved. His larger fear is not about credit. It is that the literature expands enormously over a decade or two while no human community remains that genuinely understands it.

Not everyone experienced it as loss. Abhishek Saha, a mathematician at Queen Mary University of London, reported that in his area frontier models are already “at least as good as a solid and indefatigable PhD student,” and that he is “increasingly playing the role of conductor, rather than doubling up as the whole orchestra.” That is the same restructuring the book describes in The Solo Unicorn: one human holding taste while the labor underneath goes elastic.

Two responses, one field, same month. Both are correct. Conducting is a real job, and there are fewer chairs in a conductor’s career than in an orchestra’s.

The Unscarcity Reading

The book’s argument has never been that AI will eventually get good enough to threaten employment. It is that the Labor Cliff arrives through accounting, one task at a time, wherever the arithmetic clears. The verifiability premium tells you the order of the queue.

Three things follow.

First, the cliff reaches credentialed work earlier than the standard story predicts. The reassuring version of automation says routine work goes first and expertise is safe. The verifier says otherwise. Research mathematics has an unusually good checker, so research mathematics got a public bill attached to a decade of unsolved problems before most clerical work did. Meanwhile the employment data shows displacement concentrated among the youngest workers, the ones whose output was most easily checked by a supervisor. Checkability, not seniority, is the exposure.

Second, the surviving premium is on taste and on answerability. If the machine can search hard with a verifier attached, the scarce human contributions are choosing which search to run and standing behind the result. That is a smaller number of jobs than the profession currently supports, and it is a genuinely different skill from the one most professional training optimizes for. It also demands the thing human-in-the-loop design keeps insisting on: a minimum layer of accountable people who did not delegate the part that cannot be delegated.

Third, this is exactly why the floor has to come before the transition, not after. A world where verified answers cost $200 apiece is a spectacularly good world to live in, provided your ability to eat does not depend on being the person who used to sell them. The Foundation exists to decouple survival from that dependency. The Frontier exists so the people freed from selling verified answers have somewhere to put their ambition. The alternative is a decade in which the cost of expertise collapses while the cost of rent does not.

The Question to Ask About Your Own Work

Forget whether AI can “do your job,” which is a question nobody can answer and everybody enjoys arguing about. Ask the narrower one:

If a machine produced my output tomorrow, how would anyone know whether it was right?

If the answer is “run the tests,” “check it against the statute,” “simulate the load,” or “compile the proof,” then the trust technology you were selling has a replacement in the field already, and price is the only remaining argument. Plan accordingly, and move toward the parts of the work that no checker covers.

If the answer is “you would have to trust the person who made it,” you have more time. Not because the machine is worse, but because nobody has built the verifier yet.

And if the answer is “nobody would know for years, if ever,” check whether that is expertise or whether it is something the profession has been able to avoid measuring. Those look identical from the inside, right up until someone attaches a checker.

The machine did not take mathematics. It attached a price tag to a sentence mathematicians had never had to price before: “I could have done that eventually.” Every profession with a verifier is next in line for the same invoice. Read the book or start with the preamble.

Share this article:

Share Share Share