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 ๐
๋ ๋ณด๊ธฐ
