Category theorist Emily Riehl: AI expands what mathematicians know, doesn't replace them
hugobowne · x · 2026-08-27
Hugo Bowne-Anderson relays category theorist Emily Riehl's view: AI hasn't fundamentally changed what it means to be a mathematician, because she has always cared as much about why something is true as what is true. AI is "expanding" what mathematicians know to be true, including via new examples and counterexamples — but even when an example "drops out of an AI chat session," real mathematical work remains: understanding what it means, where it comes from, whether there's another interpretation, and how it fits into the subject. Bowne calls it a wonderful example of how AI will actually create more work, echoing Tim O'Reilly's long-standing argument.
Related event: Category Theorist: AI Extends Mathematics, Not Mathematicians(2 posts)→
More from AGI Musings
- VC essay: Silicon Valley mistakes public alienation for ignorance — ArcanuMELO · 2026-08-27
- AI Unlocks Insider Knowledge Rather Than Just Killing Jobs — yunta_tsai · 2026-08-27
- AI Agentic Shopping Preferences Are Unpredictable, Study Finds — emollick · 2026-08-27
- Human edits to AI-drafted patient messages significantly increase response time — zakkohane · 2026-08-27
- Math professor ponders the future of universities in the AI era — RealisticMillenial · 2026-08-27
- COLM paper: LLMs claim multilingual support but fail on low-resource languages — anas_ant · 2026-08-27