2 papers
cs.AI2026
First Proof
Mohammed Abouzaid, Andrew J. Blumberg, Martin Hairer +8
To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the resear…
math.AT2025
A multiplicative version of the tom Dieck splitting
Andrew J. Blumberg, Michael A. Mandell
While the classical tom Dieck splitting in equivariant stable homotopy theory is typically regarded as a formula for suspension spectra in the genuine equivariant stable category,…