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/