OpenAI Blog company blog
Solving some formal math olympiad problems
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.
- Points
- 203
- HN comments
- 16
- Submissions
- 1
- Cited by
- 0 commenters
AI & Machine LearningMath & Algorithms2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 2, 2022 | Solving some formal math olympiad problems by neiman1 | 203 | 16 |
