Solving (some) formal math olympiad problems
Published 2022-02-02T08:00:00Z•89ed49981586ff9ca7d1ad183174e879c4f6054392497346bd35cbf42b9cfdda
Source metadata
- Publication date
- 2022-02-02T08:00:00Z
- Source identifier
- https://openai.com/index/formal-math
- Public record ID
- record:sha256:89ed49981586ff9ca7d1ad183174e879c4f6054392497346bd35cbf42b9cfdda
This is source-provided metadata, not an enriched summary or an impact assessment. Follow the canonical source link for the published material.
Evidence and limitations
- Source ID
- openai_research
- Record identifier
- 89ed49981586ff9ca7d1ad183174e879c4f6054392497346bd35cbf42b9cfdda
- Record type
- Source metadata
This record may overlap with other records. Source metadata can be incomplete or change. Validate consequential decisions against the linked source and your own environment.