Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 107. Matrix multiplication with exponent at most 9/4
Family claims › Theoretical computer science · lines 815–820
OpenAI@2026-10-07#rem:oai-107
Proves over , giving arithmetic operations for square matrix multiplication. In characteristic zero, some inner dimension with permits rectangular multiplication. Further square bounds give outside finitely many positive characteristics and over every fixed field.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 102. The Unique Games Conjecture and optimal approximation thresholds
- remark: Remark: Family 103. Derandomization of logarithmic space: L= (RL)= (BPL)
- remark: Remark: Family 104. Quasipolynomial algorithms for mean-payoff, stochastic and parity games
- remark: Remark: Family 105. The 2-to-1 Games Conjecture with perfect completeness
- remark: Remark: Family 106. Hardness of coloring three-colorable graphs
- remark: Remark: Family 108. A cubic permanent–determinant lower bound
- remark: Remark: Family 109. Integer multiplication below n n
- remark: Remark: Family 110. Optimal-order randomized k -server on arbitrary metrics