MATHEMATICS IS EFFECTIVELY DEAD

Summary from the TLDR newsletter

AI labs are simultaneously competing for mathematical results, selling mathematical assistance, and controlling most of the information required to evaluate either.