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. 👇
もっと見る
