The Justin Sun Prize (@JustinSunPrize) “A Lean build can succeed and still prove the wrong statement. In #JustinSunPrize” — TopicDigg
The Justin Sun Prize
@JustinSunPrize
加入 September 2026
0 正在关注 0 粉丝
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 👇
显示更多
