Article · Original
The article text is unavailable in this language; an existing version is shown.
https://t.co/o0hIvOIH9i
OpenAI reportedly releases 722 AI-generated math proofsMachine translation
Automatically verified and published · Generated and evidence-checked automatically; not reviewed by a human.
A post says OpenAI released 722 AI-generated math proofs, with related papers covering 372 mathematical results. One result lowers the proven bound for multiplying two n×n matrices from about n^2.371177 to about n^2.25 and includes a Lean formalization. It remains a theoretical bound and does not yet provide a faster routine for real GPU workloads.
OpenAI today released 722 AI generated math proofs.
This is one of the achievement, on the topics of Matrix multiplication
Here it lowers the proven cost of multiplying 2 n×n matrices from about n^2.371177, the record that AlphaEvolve set in August, to about n^2.25.
The result comes with a Lean formalization, but it is a theoretical bound and does not yet hand engineers a faster routine for real GPU workloads.
View replied-to post on X
OpenAI published the full papers behind its open-problems claim: 722 manuscripts covering 372 math results.
OpenAI built this catalogue by giving its internal model roughly 4K research problems during testing, then grouping and filtering the output into 372 significant result families.
Almost all of those results came from the same standard setup, and each used on average the computing equivalent of 3 hours of ChatGPT Pro thinking.
View context on X