← Back to article

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

What does this equation mean?

log⁡4(49)=log⁡2(7)≈2.8074log⁡4(48)≈2.7925\log_4(49) = \log_2(7) \approx 2.8074 \qquad \log_4(48) \approx 2.7925

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.

Inputs and operationslog_2(7) ≈ 2.8074 qquad log_4(48) ≈ 2.7925
Result or conditionlog_4(49)
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation gives an approximation: it relates the quantities while allowing an approximation. 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

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
≈

≈

Approximately equal to; the equality is not exact.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Its accuracy depends on the assumptions and range of use described in the article. 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 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: log⁡4(49)=log⁡2(7)≈2.8074log⁡4(48)≈2.7925\log_4(49) = \log_2(7) \approx 2.8074 \qquad \log_4(48) \approx 2.7925. The gap is small — about 0.015 in the exponent, on the order of…
Read the full surrounding passage
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: log⁡4(49)=log⁡2(7)≈2.8074log⁡4(48)≈2.7925\log_4(49) = \log_2(7) \approx 2.8074 \qquad \log_4(48) \approx 2.7925. The gap is small — about 0.015 in the exponent, on the order of half a percent — and it does not come close to the roughly 2.37 exponent that a completely different lineage of methods (the laser method and its descendants) has established as the theoretical frontier for matrix multiplication in general. Small-matrix rank hunting, whether by AlphaEvolve, by flip graphs, or by hand, has never been competing on that frontier; it is a different, more concrete kind of result, closer to a real building block than to a record book entry. But within its own lane — better recursive building blocks at small, practically implementable sizes — a rank reduction from 49 to 48 in a genuine, composable decomposition is not a rounding error. It is the exact kind of small, provable gain the field spent fifty-six years failing to find.

Read the equation in its article →

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

See this formula across 1 published context →

Browse the mathematical compendium →