Equation 4 · Mathematicians Finished the Job After an Evolutionary Search Beat 56 Years of Human Proofs
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol n
n is part of the quantity the equation computes from the expression on the right.
Symbol k
k is an input to the expression that computes the quantity on the left.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →superscript
A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.
See an illustrated explanation →How to interpret it
Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
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 ; applying it k times to reach a 2^k 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 instead:
Sources cited in the article section
These citations give research context. Read each source to check which claims it supports.
Return to Mathematicians Finished the Job After an Evolutionary Search Beat 56 Years of Human Proofs