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. 👇
顯示更多
