This staggering quantity of mathematical progress builds on AI developments that have unsettled the research community.