@emilyriehl
category theorist, working mathematician
AI
Harvard's CMSA says 32 mathematicians from academia, government and industry met there on October 22–23, 2026.
AI
In a Science Expert Voices column, Emily Riehl weighs in on AI-for-math news from summer 2026 and early October.
Science
OpenAI says many proofs have computer-checkable Lean formalizations, but warns that some unformalized results could have issues.
AI
A group member shared the report and related resources after a meeting aimed at proposing changes to how math PhD programs are structured.
