What comes with cheap math? — LessWrong
lesswrong.com · 2,000 words · saved by 1 readers
Thanks to conversations with Anson Berns, Gurkenglass, Roman Malov, Sahil, Sam Eisenstat, and others. …
x What comes with cheap math? — LessWrong AI Frontpage 94 What comes with cheap math? by abramdemski 28th Jun 2026 5 min read 9 94 Thanks to conversations with Anson Berns, Gurkenglass, Roman Malov, Sahil, Sam Eisenstat, and others. Over the past two months, I've been doing a lot of "vibe research" (like vibe coding, but for research). Anson Berns started coming to my office hours (PM me for an invite if you're interested and the link doesn't work), and we've been collaborating on a project modeling trust between logical inductors. In addition to talking once a week, we've been exchanging raw
saved by
related reading
- LessWronglesswrong.com
- Vibe physics: The AI grad student \ Anthropicanthropic.com
- The fall of the theorem economydavidbessis.substack.com
- AI in 2025: gestalt — LessWronglesswrong.com
- The AI math breakthroughs keep coming...youtube.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- AI #24: Week of the Podcast — LessWronglesswrong.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Taking LLMs Seriously (As Language Models) — LessWronglesswrong.com
- Is AI Reasoning Right for the Wrong Reasons? | Quanta Magazinequantamagazine.org
- Human mathematicians are being outcounterexampledxenaproject.wordpress.com
- Xena | Mathematicians learning Lean by doing.xenaproject.wordpress.com