Work

The Profile Calculus: An Axiomatic Certification Framework for the $\omega \le 9/4$ Matrix-Multiplication Exponent

Year: 2026

Type: preprint

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: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.23440228

Author: Mark Winston

Language: English

Topic: Complexity and Algorithms in Graphs

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7222804396

Cites:

Cited by:

Related to: