Contrarian take: mathematicians should go all-in on Lean right now
cgarciae88 · x · 2026-10-01
A one-liner opinion from cgarciae88: a contrarian mathematician today would go "all-in on leanmaxxing," implying formal math with Lean is an underrated bet as AI-assisted theorem proving heats up.
More from AGI Musings
- iamtrask: RSI is just AI getting smart enough to collect its own data — iamtrask · 2026-10-01
- Educators debate whether kids should embrace AI early — erikphoel · 2026-10-01
- Only 31% of Americans now see college as very important as AI economy fuels trades training — NinaDSchick · 2026-10-01
- Beyond making agents want the right things: an 'alignment compiler' for multi-agent alignment — xuanalogue · 2026-10-01
- AI for Biology Compared to Generative Media in Early 2023 as Scale Stays Hard to Predict — davidstutz92 · 2026-10-01
- 'General' intelligence is a myth: human minds are narrow savanna specializations, not yardsticks — YogeshMalik · 2026-10-01