Jinyan Su(@SuJinyan6):My thoughts on whether it is still meaningful to have human understand the proof when everyone can use lean to prove math that they don't understand.

Jinyan Su

@SuJinyan6

PhD @Cornell Prev @Microsoft, @AIatMeta, @Adobe Post train; Data; RSI

Joined July 2021

236 Following 5.6K Followers

Jinyan Su@SuJinyan6

2026.10.06 14:23

My thoughts on whether it is still meaningful to have human understand the proof when everyone can use lean to prove math that they don't understand.

Forward to community

Most Popular Users

1M Followers

958.3K Followers

1.1M Followers

579.2K Followers

504.3K Followers

6.3M Followers

347.5K Followers

2.8M Followers

4.3M Followers

The Wall Street Journal

22.3M Followers

1.2M Followers

672.2K Followers

26.5M Followers

2M Followers

818.9K Followers