> internal progress on mathematics

This alone feels like a horrible new paradigm