Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: Cap set improvement


Matthew Ballard (Dec 18 2023 at 14:52):

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) (Dec 20 2023 at 08:49):

A reader-friendly presentation is also given here:

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


Last updated: Dec 20 2023 at 11:08 UTC