So apparently Google used AI to discover new ways to troll people in an 8-dimensional Set game, among other mathematical discoveries:

https://github.com/google-deepmind/funsearch

Is this a big step forward in AI or is it just a speedup on problems where they could have used a search algorithm not based on language models to discover similar results? How do you think generative AI will influence mathematics in the coming years?

P69071
when is someone gonna take /All and make a Lambda+ bot model?