The Justin Sun Prize
@JustinSunPrize
参加 September 2026
0 フォロー中 0 ファン
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 👇
もっと見る
