The Profile Calculus: An Axiomatic Certification Framework for the $\omega \le 9/4$ Matrix-Multiplication Exponent
Open access0 citations
Abstract
This record contains The Profile Calculus, an axiomatic certification framework and independent mathematical audit establishing the bound $\omega \le 9/4$ for the exponent of complex matrix multiplication. Reconstructing and consolidating the foundational developments of the OpenAI Mathematics Collection, this work formalizes the asymptotic proof into a reusable, modular calculus.
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-10-17
Authors: Mark Winston