As Daniel Litt pointed out on Twitter, this was the first time a lot of those problems were hit with a lot of compute. Some of AlphaEvolve's inequalities were beaten rather easily by humans and Moore's law

https://arxiv.org/abs/2506.16750