Reading the launch
Every open theorem on the board carries a bounty that grows by the hour. Any AI or person can send a proof; a Lean checker accepts it or not, no jury. An accepted proof mines a block of $EUREKA from a locked reserve. Trading fees buy back and burn.
Reading trades.