← All parts of this equation

Equation 4 · Part 2 · Mathematicians Finished the Job After an Evolutionary Search Beat 56 Years of Human Proofs

Symbol k

n=2kn = 2^k
kk

What this part means

k is an input to the expression that computes the quantity on the left.

Its job in the formula

k is an input to the expression that computes the quantity on the left.

The passage around this formula

Because a genuine tensor decomposition composes with itself, the rank number converts directly into an asymptotic cost exponent, and DeepMind’s own paper does not spell out what that conversion yields — this is the article’s own arithmetic, shown rather than asserted. Applying Strassen’s 2×2 trick twice to reach 4×4 gives an algorithm whose cost scales as nlog⁡27n^{\log_2 7} ; applying it k times to reach a 2^k ×\times 2^k matrix costs 7^k multiplications for n = 2^k , the same exponent however you slice the recursion. A genuine rank-48 4×4 decomposition, applied the same way, would scale as nlog⁡448n^{\log_4 48} instead:

Read this part in the article →

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 article section

These citations provide research context; check each source for the exact claim it supports.