Valency Hub
alphaFeedback
PDF

WorksMathematics

Staggered extraction for exact matrix multiplication over every field

OpenAI (organization)

Published v1

Publication details
License
LicenseRef-OpenAI-public
Views
1
Status
Published
AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
Formal proof, 6 proof or workflow links, 1 code link, 1 data link
View
Abstract · v1

We prove that the arithmetic exponent of square matrix multiplication over every fixed field satisfies ω < 2.371054886006746. This includes every positive characteristic.

Review conversation

Reviews are not available for this work yet.