Cap set improvement

Stream: Machine Learning for Theorem Proving

[Matthew Ballard]

I am surprised I haven't seen mention of this here yet. (Did I miss it?) I rely on experts here to help shape my perspective :)

[Flo (Florent Schaffhauser)]

A reader-friendly presentation is also given here:

https://deepmind.google/discover/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/

[Junyan Xu]

Just noticed (from a big quote in the article) that they recruited Jordan Ellenberg as a coauthor this time :)

Also the DeepMind version of the paper is much better than the Nature accelerated version, without big banners across the pages and with the figures correctly inserted.

[Anh Nguyễn]

is there currently any developments on these cap set and FunSearch