AWESOME AI PROOFS
← Problems
Research / 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.