This is arguably the biggest day (yet) in mathematics. OpenAI dropped HUNDREDS of math breakthroughs at once.
It seems that the bottleneck is no longer AI intelligence or compute, but rather, human capacity to process all of this.
There's so much catching up to do...