Along the same lines, and with Tim Gowers as author, too: https://arxiv.org/html/2412.15184v1

This does seem similar to what has been done in the neural architecture search domain, doesn't it?

In my case, I'd mainly be interested in mathematics: I'd provide a mathematical problem and a baseline algorithm for it and would want an open source framework to be able to improve on that.

Yep, agree.

Had mentioned the same on X: https://x.com/friederrrr/status/1922850981181784152?t=usXpK1...

One of the researchers quoted in Nature link here... in the past, when DeepMind published "AlphaTensor" [1][2] in October 2022, it took a single day (!!), see [3], for improvements to the AlphaTensor-based scheme to be discovered. This was then a few months later generalized into a significantly more comprehensive scheme [4]. I do not know whether the more general scheme that was discovered in [4] made its way back to some improved version of AlphaTensor - but this nonetheless shows that AlphaEvolve may also change, as it becomes absorbed by the community.

[1] Blog: https://deepmind.google/discover/blog/discovering-novel-algo...

[2] Paper: https://www.nature.com/articles/s41586-022-05172-4

[3] arxiv.org/pdf/2210.04045

[4] arxiv.org/abs/2212.01175 Flip graphs for matrix multiplication

(Reposted from here, where I made a mini deep-dive into this: https://x.com/friederrrr/status/1922846803420119410?t=7jZ34P...)