← ProblemsResearch / Dec 14, 2023
Large cap sets in eight dimensions
How many vectors in F₃⁸ can we choose without three distinct vectors summing to zero?
Model / AI: FunSearch
⚑verified
Problem explanation →
Dec 14, 2023
FunSearch
Model / AI: FunSearch
⚑verified
LLM program search found a cap set of size 512 in dimension 8, beating the previous 496. Nature.
Source read 2026-09-08. Read the Nature paper: an explicit 512-vector cap set in dimension eight. Construction was not rerun.