The Justin Sun Prize
@JustinSunPrize
参加 September 2026
0 フォロー中 0 ファン
How do you repair a proof when the main strategy works, but one special case still has a gap?
Tang (@Vieta__jumping) breaks down Problem #650#, including how the proof was repaired, formalized in Lean, and rewritten for human readers.
Explore the official problem list and participation guidelines:
もっと見る
