Lean is overrated as the reinforcement-learning environment behind recent AI progress in mathematics, but it should not be written out of the story.

Added to korrents 7 Sept 2026 · How quotes work · Something wrong? Tell us

Shared subject first, then similar wording. They may agree or disagree.

• A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. SBSanjay Bakshi3 Mar 2026mathematics
• A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. GSGrant Sanderson30 Jun 2026mathematics
• A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. GSGrant Sanderson30 Jun 2026mathematics
• A tossed coin is more likely to land on the same face it started on than on the opposite face. THTim Harford24 Sept 2026mathematics
• Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. PMPatrick McKenzie28 Oct 2011mathematics

See this claim on the map