An Upper Bound of 9/4 for the Matrix Multiplication Exponent

Recorded by the registry's curators from GitHub; the authors did not submit it here.

OpenAI

We prove that the exponent of matrix multiplication over the complex numbers is at most $9/4$.

Claims

Partial resolution · fidelity not yet established

No verification run is on record for this version.