与「JustinSunPrize」相关的搜索结果

Two results are on the #JustinSunPrize# candidates board right now. Before anything is awarded, each one sits in public for 14 days. Anyone can check the proof, the Lean formalization and the credits, and raise an objection. Review them 👇

A Lean build can succeed and still prove the wrong statement. In #JustinSunPrize# review, statement fidelity and axiom use are checked separately from compilation. A passing kernel check is evidence, not an award. FAQ 👇

The Office of Justin Sun today announced the newest recipients of the #JustinSunPrize#: Independent researcher Wouter van Doorn, mathematics Ph.D. student Quanyu Tang, and mathematics researcher Yanyang Li from Nanjing’s Southeast University, recognized for contributions spanning six Erdős problems. These are the program’s first confirmed awards, recognizing both mathematical discovery and the work needed to make proofs independently checkable. More details on @Cointelegraph ⤵️

Working independently or with AI? 🔍 The #JustinSunPrize# is open to eligible individuals and teams. Formal publication is not required. For work involving AI, recipients must be eligible individuals or lawful entities under the Selection Rules. Details here👇

Solving the problem. Formalizing the proof. 🔍 #JustinSunPrize# allocates 70% of each problem’s award to the solver and 30% to the Lean formalizer. The same individual or team awarded both roles receives 100%, subject to the prize rules.👇

The first #JustinSunPrize# candidates are in a 14-day public review that began Sept 19. Contributions span mathematical solutions and Lean formalization for problems 305, 371, 381, 526, 866 and 1001. Details and formal challenge procedures👇