logoalt Hacker News

danielmarkbrucetoday at 8:56 PM0 repliesview on HN

If you look closely at the gains in math, it's largely in proof writing. The reason is Lean, it's not some general intelligence jump, and the number of people actually working on proofs in life rounds to zero.