Solving (some) formal math olympiad problems
- ID
- 833
- Status
- new
- Published
- 02 Feb 2022, 4:00 PM
- Fetched
- 27 Jun 2026, 7:47 PM
- Provider
- OpenAI News
- Category
- ai-labs
- Original URL
- https://openai.com/index/formal-math
- Source URL
- https://openai.com/news/rss.xml
Excerpt
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.
Summary
No summary yet. It will appear after the daemon summarizes this item.