The Justin Sun Prize(@JustinSunPrize):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. 👇

2026.10.12 08:25

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. 👇

Forward to community

Most Popular Users

998.1K Followers

957.1K Followers

6.3M Followers

346.9K Followers

1.2M Followers

578K Followers

1.1M Followers

The Wall Street Journal

22.3M Followers

504.5K Followers

2.8M Followers

672.9K Followers

2.7M Followers

241.4M Followers

3.4M Followers

4.3M Followers