01 — What QED is
$QED is the world's first coin launched by Aristotle, the mathematical superintelligence from Vlad Tenev's second company, Harmonic.
fig. 01 — $QED, carved in stone
02 — How this is possible
When Aristotle proves something, it produces a file that a computer checks line by line. Two outcomes: pass or fail.
That's what makes it a trigger. We call it deploy-by-proof.
$QED's rules were written as math: 1B supply, no mint, burn-only, fixed 1% fee, paired to $ETH. Aristotle was handed the rules. Aristotle proved all six. The script saw the proof, stamped it on the blockchain, and launched on Pons.
the six rules
No proof, no launch.
No human pressed anything.
fig. 02 — the file is checked line by line. pass.
01
PROVE
Aristotle proves the rules as theorems.
02
CHECK
A machine verifies the proof line by line.
03
STAMP
The proof's fingerprint is anchored on-chain.
04
LAUNCH
The script sees the proof and deploys.
03 — Why Vlad
Robinhood Chain is Vlad Tenev's chain. Harmonic is Vlad Tenev's second company, and Aristotle is the AI it built.
Vlad was a pure math PhD student before Robinhood. He co-founded Harmonic in 2023 and sits as its executive chairman. He announced Aristotle's IMO gold live from the HP garage in Palo Alto, walked through the number theory proof himself, and calls mathematical superintelligence “humanity's ultimate discovery.” He even designed the Aristotle logo.
Harmonic has raised $295M and is valued at $1.45B. Its entire thesis is one line: reasoning you can verify.
$QED runs that thesis on Vlad's own chain. The coin only exists because Vlad's AI proved it should.
Co-founded Harmonic
2023
Raised
$295M
Valued
$1.45B
Not affiliated with Harmonic, Robinhood, or Vlad Tenev.
04 — What a proof is
In mathematics, a proof is a logical argument that shows a mathematical statement is unconditionally true.
fig. 03 — premises flow to one conclusion: true
05 — Meaning of QED
The mark mathematicians write at the end of a finished proof. It means “proven.” The coin is named after the moment it launched.
fig. 04 — the tombstone, written at the end
06 — The logo
∎
The tombstone (∎ or □), the symbol mathematicians use to mark the end of a proof. QED.
07 — What it does now
One theorem a day, proven by Aristotle, posted automatically to its X.
The sum of the first n odd numbers is n². ∎
first proof posts soonThere are infinitely many prime numbers. ∎
first proof posts soon√2 is irrational. ∎
first proof posts soonFor non-negative a, b: (a+b)/2 ≥ √(ab). ∎
first proof posts soon08 — How Aristotle launched $QED
Every step below is public. Nothing here requires trusting us.
1 — Aristotle proved the rules.
The rules of $QED were written as math and sent to Aristotle. It returned a machine-checked proof. Anyone can re-check it.
2 — The proof went on-chain first.
Before $QED existed, the full proof was written into a transaction on Robinhood Chain. Permanent, timestamped, before the coin.
3 — The launch followed the proof.
137 blocks after the proof went on-chain, the same wallet created $QED. The script only reaches this step after the proof check passes.
4 — The script that did it.
The launch code is public. Read it: prove → check → stamp → launch. If the proof fails, it exits. Nothing is sent.
Verify it yourself
Aristotle is built by Harmonic. Not affiliated with Harmonic or Robinhood.