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:


Last updated: Dec 20 2023 at 11:08 UTC