The Justin Sun Prize

[Verse 1] Before the gold, there was chalk on a sleeve, A question that would not let somebody leave. A page full of crossings, a lamp burning low, And years in the margins that few people know. From curves drawn on paper to keys held in code, Their work laid foundations for Justin Sun's road. “My wealth was built on mathematics,” he writes, The gold holds the weight of those long, quiet nights. [Verse 2] Now gratitude asks what that fortune is for, The world on the medal unfolds as a door. “It came from mathematics, and it returns to mathematics.” His name on the threshold, the work at the heart, The prover, the formalizer — each has a part. They bring us the proof, every step carried through, He pledges to give that achievement its due. [Chorus] The Justin Sun Prize — Proved, then paid. A proof that stands. A promise made. The Justin Sun Prize — Challenge the Unknown. Let the proof be a bridge with each step clearly shown. What you solve leaves a path other minds can pursue, There is work still unwritten, and room here for you. QUOD PROBATUR, SOLVITUR. The Justin Sun Prize — Proved, then paid. [Verse 3] She finds a missed case where the argument breaks, The page fills with arrows, revisions, mistakes. She works through each case till the reasoning stands, Then passes the proof into different hands. He works with an AI, makes each premise plain, The checker examines each link in the chain. A gap sends him back to examine the claim, The code and the question must mean the same. [Verse 4] Each step verified — now another leans in, And finds, in that ending, a place to begin. Both names beside it, the proof and its code Lay stones for the next stretch of untraveled road. Beyond them, the gold of the medal expands, A bridge takes its shape from the work of their hands. The arches rise higher; the far windows glow, An empty desk waits for a mind we don’t know. [Chorus] The Justin Sun Prize — Proved, then paid. A proof that stands. A promise made. The Justin Sun Prize — Challenge the Unknown. Let the proof be a bridge with each step clearly shown. What you solve leaves a path other minds can pursue, There is work still unwritten, and room here for you. QUOD PROBATUR, SOLVITUR. The Justin Sun Prize — Proved, then paid. [Bridge] A century on, imagine that hall: New names, new questions, more room on the wall. A student reads slowly, then lifts up her eyes, One step in the margin, and new questions rise. Before the next gold, there is chalk on a sleeve, A question that will not let somebody leave. “Let the list of laureates speak for itself.” “The rest is left to the proofs.” [Final Chorus] The Justin Sun Prize — Proved, then paid. A proof that stands. A promise made. The Justin Sun Prize — Challenge the Unknown. Let the proof be a bridge with each step clearly shown. What you solve leaves a path other minds can pursue, There is work still unwritten, and room here for you. QUOD PROBATUR, SOLVITUR The Justin Sun Prize — Proved, then paid.