SCIENCE UNDER AUTOMATION
OpenAI mathematics release, updated October 15
Research manuscripts and some Lean formalizations released; review and exposition work continues.
What this result supports
Counts of manuscripts are not counts of validated results. Not used to pass a score gate.
Evidence record: provider_report. Checked: 2026-10-20.
Where this evidence is used
Mathematics
- Choose useful conjectures: Released manuscripts do not supply a representative discovery denominator.
- Develop a sustained argument: Selected research outputs support partial capability, not general autonomy.
- Validate novelty and proof: No matched broad autonomous novelty and proof audit.