3 ms·
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 b
by vatsachak 1y ago
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 https://arxiv.org/abs/2506.16750