The Justin Sun Prize(@JustinSunPrize):How a #JustinSunPrize award is shared in the MathDB pilot: 50% Solution 30% Lean formalization 20% Exposition Each is reviewed separately. Solution and Exposition awards wait for a complete, verified Lean formalization of the problem. Pilot problems 👇 https://t.co/kYyR9xIig2

2026.10.28 08:11

How a #JustinSunPrize# award is shared in the MathDB pilot: 50% Solution 30% Lean formalization 20% Exposition Each is reviewed separately. Solution and Exposition awards wait for a complete, verified Lean formalization of the problem. Pilot problems 👇