01 — What QED is
$QED is the world's first coin launched by Aristotle, the mathematical superintelligence from Vlad Tenev's second company, Harmonic.
∎ VERIFY THE LAUNCH →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, burn-only, fixed fee split, paired to $ETH. Aristotle was handed the rules. Aristotle proved them. The script saw the proof and launched on ponsfamily.com.
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². ∎
view Lean proof →There are infinitely many prime numbers. ∎
view Lean proof →√2 is irrational. ∎
view Lean proof →For non-negative a, b: (a+b)/2 ≥ √(ab). ∎
view Lean proof →08 — 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 pointed back at the proof.
The transaction that created $QED carries the proof's fingerprint and the anchor transaction in its on-chain description.
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.