FunSearch — qed.bot Claims of contribution to mathematics by FunSearch. https://qed.bot/feeds/sys/funsearch.xml 2023-12-14T00:00:00Z qed.bot Largest known cap set in dimension 8 — record (FunSearch) urn:qed:2f198664e59c 2023-12-14T00:00:00Z An explicit cap set of 512 points in dimension 8.. Autonomy A2, evidence V3.