2026
CLM-AI-003620= Theta(n^2 d)ASYMPTOTIC BOUNDThe cited theorem establishes Theta(n^2 d) under the recorded model.Source: Attention Is All You Need — Dense self-attention score computation complexity ↗
PROVENExact dense dot-product attention forms all n-by-n query-key interactions of width d.
The question, scope, and sources behind this Registry record.
Under the recorded transformer systems and scaling model, establish Theta(n^2 d).
Current frontiers derived from accepted Claims.
A parameterized or asymptotic result under the current specification.
Assertions tied to evidence, attribution, and review.
The frontier as it changed over time.
Only accepted Claims matching the current specification contribute to the displayed bounds. Strict inequalities remain open; contradictory Claims require editorial review.
No accepted machine-checked reproductions are recorded for this Limit.
Limits Registry. LR-003620. Dense self-attention score computation complexity. 2026.