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 👇
顯示更多
