OpenAI News·· 10 d ago
Sharing AI progress in mathematics
Sharing AI progress in mathematics
AI summary
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Selection record
Threshold 60Official, first-handFirst 62Second 62
AdmittedSum of both 124 ≥ twice the threshold 120
- Source tier
- Official, first-hand; this tier's threshold is 60
- Pre-filter
- passed：OpenAI前沿模型数学进展及Lean证明
- Why it was chosen
- OpenAI has released its frontier model's results on open problems in mathematics together with Lean-formalised proofs, showing the research approach and what was open-sourced.
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: OpenAI News · openai.com