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

커뮤니티로 전달

인기 있는 사용자

2M 팬

260.1K 팬

101.7K 팬

4.3M 팬

28.3K 팬

26.4M 팬

39.3K 팬

3.4M 팬

578K 팬

2.1M 팬

10.5M 팬

6.6M 팬

549.7K 팬

8.9M 팬

68.7K 팬