Scientific prizes do not just honor the past. They fund the future. Alfred Nobel turned private wealth into a century-long institution. Landon T. Clay offered $1 million for each Millennium Problem. Yuri Milner created a $3 million mathematics prize. Now, @justinsuntron is extending that tradition by introducing a new model: reward both the person who proves a theorem and the person who turns that proof into machine-verifiable code, with the funds locked onchain.rewarding both theorem provers and proof formalizers. Its most interesting feature is not the name. It is the attempt to transform unsolved mathematics into a public map of work for humans and AI. If governed transparently, this could become a bridge between crypto wealth, foundational mathematics and knowledge that ultimately benefits society.