OpinionAugust 7, 2025
AI Took on the Math Olympiad—But Mathematicians Aren’t Impressed
AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math
Stories by Emily Riehl
Emily Riehl is a mathematician at Johns Hopkins University, where she works on category theory, homotopy type theory and computer formalization. Her book Elements of ∞-Category Theory, co-authored with Dominic Verity, was published in 2022 by Cambridge University Press.
MathematicsOctober 1, 2021
Infinity Category Theory Offers a Bird’s-Eye View of Mathematics
Mathematicians have expanded category theory into infinite dimensions, revealing new connections among mathematical concepts