Matrix multiplication exponent at most 9/4 (family 107)

Status

Not evaluated

Recorded on Oct 11, 2026 · raw.githubusercontent.com

Oct 6, 2026Announced
Oct 11, 2026Recordednot evaluated
nextTo follow

What this status means

Source reading : Source read word for word (level 3 of 3)

No DiscoverIA status yet; this does not mean nobody has checked it.

To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.

Full history

The gist

Result from OpenAI's openai/math release of 6 October 2026, in theoretical computer science, with a Lean proof supplied by OpenAI and no third-party check.

Follow Report

Cite this entry

A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.

Cite snapshot 1, Oct 11, 2026

APA citation with the dated link

DiscoverIA. (2026, October 11,). Matrix multiplication exponent at most 9/4 (family 107) [Status : Not evaluated, snapshot 1]. DiscoverIA registry. https://discoveria.ai/en/fiche/oai-fam-107-matrix-multiplication/#releve-1

BibTeX @misc, key discoveria-oai-fam-107-matrix-multiplication-r1

@misc{discoveria-oai-fam-107-matrix-multiplication-r1,
  author       = {{DiscoverIA}},
  title        = {Matrix multiplication exponent at most 9/4 (family 107)},
  howpublished = {DiscoverIA registry, entry oai-fam-107-matrix-multiplication},
  note         = {Status « Not evaluated », snapshot 1, recorded on October 11, 2026. new result},
  year         = {2026},
  url          = {https://discoveria.ai/en/fiche/oai-fam-107-matrix-multiplication/#releve-1},
  urldate      = {2026-10-11}
}

Dated link opens this snapshot in the history

https://discoveria.ai/en/fiche/oai-fam-107-matrix-multiplication/#releve-1

Text produced by an automatic template (DiscoverIA pipeline), on Oct 12, 2026Reviewed by: nobody yetReport an error

What has not been reviewed?

The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.

Key facts

Claimed by: OpenAI
announced on Oct 6, 2026
Nature: new result
Field: Theoretical computer science (theoretical computer science / linear algebra)
Checked by: claimant
Sources (domains): 1 : 1 links only
Part of: openai/math: 719 manuscripts in 372 families from an unreleased internal model
This entry: AI draft, not reviewed

For experts

Proofs: preprint, Lean fourni par le revendicateur (config MatrixMultiplication ; correspondance estimée)

Sources(domains)

primairegithub.comlink only, reading not recorded

Method

Status “not evaluated” recorded on 11 October 2026 from github.com (page read, quotation checked word for word).

Limits

A Lean proof supplied by the claimant does not count as formal verification by a third party. DiscoverIA has recorded no independent evaluation as of this date.

In the same set

openai/math: 719 manuscripts in 372 families from an unreleased internal model · entry 104 of 372, by family number

See all 372 entries

Status history

Only one observation so far.

01Oct 11, 2026
First observation:Not evaluatedCurrent status
Source: raw.githubusercontent.comread word for word

An observation is added; none is ever erased.