The Justin Sun Prize
@JustinSunPrize
加入 September 2026
0 正在关注 0 粉丝
How do you turn a mathematical proof into something a computer can check?
@justinsuntron explains the role of Lean and why #JustinSunPrize# recognizes both complete mathematical solutions and the work of formally verifying them. 👇
显示更多
