[antiresonant]

At this rate, the current AI era is going to clear the queue of all mathematics that's ever been created but not yet applied.