The Justin Sun Prize
@JustinSunPrize
Joined September 2026
0 Following 0 Followers
How is AI changing mathematical research?
@justinsuntron discusses AI’s role in solving problems and how Lean checks the logic of a proof, both central to the thinking behind #JustinSunPrize#.
From his conversation with @TheBonnieChang 👇
Show more
