Are We Stuck with Lean? Global World Sat, 01 Aug 2026 11:06:12 GMT Moderate confidence — 64/100 Sources: Mathoverflow