Alperen Keles personal blog
Test, don't just verify
AI-assisted mechnical proving companies are raising funds on billion dollar valuations , new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC…
- Points
- 200
- HN comments
- 140
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringTools & Productivity2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 23, 2025 | Test, don't just verify by alpaylan | 200 | 140 |
