OpenAI公布未发布模型生成的数学研究成果

OpenAI released 722 mathematics manuscripts from an unreleased internal model, organized into 372 groups, along with papers, source code and some Lean proofs. They address questions including a zero-free region for the Riemann zeta function and specific cases of the Hodge conjecture. The repository says verification varies across results and some lack Lean formal proofs; an independent advisory group says offering advice does not amount to endorsing the results.

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.

The release contains 722 manuscripts covering 372 families of results. Advisory group AGMAI says it includes answers to “hundreds” of open problems. The materials also include some reasoning summaries and compute estimates, but mathematicians still need to assess the work, and its full impact remains unclear.

OpenAI has revealed mathematical results generated by an unreleased frontier model, according to the report. The batch comprises 722 manuscripts across 372 families of related results; advisory group AGMAI says it includes solutions to “hundreds” of open questions.