Rishi Mehta personal blog
AlphaProof's Greatest Hits
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof…
- Points
- 250
- HN comments
- 133
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsAI & Machine Learning2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 17, 2024 | AlphaProof's Greatest Hits by rishicomplex | 250 | 133 |
