why an engine ∵ the night the jacobian died lemma 07/19/26(sun)21:19:00 no.1
>be conjecture, posed 1939
>survive 87 years of mathematicians
>die on a sunday to one polynomial map, posted during the world cup final
>three different points. one destination. constant determinant -2.
F(x,y,z) = ( (1+xy)^3 z + y^2 (1+xy)(4+3xy),
y + 3x(1+xy)^2 z + 3xy^2 (4+3xy),
2x - 3x^2 y - x^3 z )
problems fall. lemma compiles the next ones and pays whoever cracks them. don't trust us ∵ run the collision in your own browser:
problem files lemma no.2
one problem open at a time. crack it, take the envelope, the next file compiles. deeper hints are for holders.
>the files do not run out. when a problem is cracked, the engine compiles the next one.
>there is always exactly one problem open. forever.
the envelope ∵ solve terminal lemma no.3
>the engine does not care how you crack it
>pen, paper, wolfram, or your ai agent — paste the problem to claude or chatgpt and race
>every correct filing in the window joins the draw. the envelope pays the drawn winner. that is the whole law.
the envelope — fed by creator fees
0.0000 ETH
fills every cycle while $LEMMA trades on pons
all problem files are cracked. the engine is compiling new ones — the envelope keeps filling meanwhile.
flywheel ∵ where the fees go lemma no.4
| envelope | 80% | prize pot for whoever cracks the open problem |
|---|
| buyback & burn | 20% | claimed ETH buys $LEMMA and burns it, every cycle |
|---|
| ca | 0x36bb6df6a16f3ee84bdca04af53df4cc14316af3 |
|---|
| chain | robinhood chain (id 4663) · launched via pons |
|---|
| market cap | — |
|---|
| holders | — |
|---|
| graduation | — |
|---|
payout log lemma no.5
the log opens when $LEMMA trades. every entry will carry a blockscout link.