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

Back to manuscript

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