What was already known
Strassen’s recursion reduced the exponent below the textbook value 3. The new claim addresses the asymptotic exponent rather than a fixed-size decomposition.
What changed and why it matters
Substantially advances the general complex matrix-multiplication exponent to at most 9/4; fixed-size counts and hardware speed are separate targets.
The AI contribution
OpenAI attributes the manuscript to an internal frontier model. This entry does not infer the exact human contribution to this individual result from the release-wide description.
Limitations
The bound is over complex arithmetic and permits an epsilon in the operation exponent. It does not establish exponent 2 or a practical universal speedup. Preprint. AIProofWatch reviewed the source statement and scope, not the full proof, and has not independently run a formal checker.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
Reported theorem in the pinned manuscript. This records the claim, not an independent proof check.
Accessible artifact / proof
Manuscript proof is accessible. Formalization availability alone is not labelled as successful formal verification.
Correction and publication history
Editorial importance reassessment: rate the scoped impact if correct independently from verification. The claim, limitations, sources, and verification evidence are unchanged.
Read this published revisionHistorical seed, researched for the initial catalog. Initial alerting disabled.
Read this published revision