Equation 6 · Part 1 · A Cap Set Needed No World to Be True In, Only a Checker to Accept It
Symbol S
What this part means
S is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Its job in the formula
S is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol S→Article meaning
The passage around this formula
…Croot, Lev and Pach’s 2024 survey, written by three mathematicians with no stake in FunSearch’s success, places it directly in the working record. “Lower bounds were proved by Edel… giving the existence of a set S … that satisfies |S| > (2.217389)^n . This then was improved upon by Tyrrell to |S| > (2.218)^n , by Romera-Paredes et al to |S| > (2.2202)^n , and by Naslund to |S| > (2.2208)^n ” [ 5 ] . Tyrrell’s own 2022 paper, immediately preceding FunSearch’s contribution in that sequence, reports “improved…
Learn the underlying idea
A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.
Open the illustrated variables: a letter stands for a value guide →
See this notation across published equations →
Sources cited in the surrounding passage
These citations provide research context; check each source for the exact claim it supports.