OpenAI公布未发布模型生成的数学研究成果Chinese only
据报道，OpenAI公布了一批由尚未发布的前沿模型生成的数学问题解答，共涉及722份文稿、372组相关成果。独立顾问团AGMAI称，其中包括对“数百个”开放问题的解答。
1 developments4 reports4 sources
Event developments 1
OpenAI reveals mathematical results generated by unreleased model
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.
View source reports · 4 sources · 4 reports
- The Verge AI 报道 · OpenAI reveals mathematical results generated by unreleased model
- IT之家 科技新闻 · OpenAI releases mathematical research manuscripts from an unreleased model involving hundreds of open problems
- Rohan Paul (@rohanpaul_ai) · OpenAI reportedly releases 722 AI-generated math proofs
- 量子位 AI 报道 · OpenAI releases 722 AI-generated mathematics manuscripts as proofs await scrutiny
All reports 4
OpenAI releases 722 AI-generated mathematics manuscripts as proofs await scrutiny
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.
3 more sources reported this
- Rohan Paul (@rohanpaul_ai)
- IT之家 科技新闻
- The Verge AI
OpenAI reportedly releases 722 AI-generated math proofs
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.
3 more sources reported this
- 量子位 AI
- IT之家 科技新闻
- The Verge AI
OpenAI releases mathematical research manuscripts from an unreleased model involving hundreds of open problems
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.
3 more sources reported this
- 量子位 AI
- Rohan Paul (@rohanpaul_ai)
- The Verge AI
OpenAI reveals mathematical results generated by unreleased model
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.
3 more sources reported this
- 量子位 AI
- Rohan Paul (@rohanpaul_ai)
- IT之家 科技新闻