The weak link in autoformalizing mathematics is being sure the formal version captures what the mathematician meant to express.

Added to korrents 24 Oct 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