OpenAI reports the Euclidean Steinitz–Bergström bound
- Mathematics
Every prescribed-order finite sequence of vectors in the Euclidean unit ball of R^d has one choice of signs whose every signed prefix has norm at most C sqrt(d), with C independent of sequence length. Consequently every indexed zero-sum family admits an ordering with every unsigned prefix bounded by C sqrt(d).