Galois Blog company blog
Claude can sometimes prove it
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
- Points
- 219
- HN comments
- 69
- Submissions
- 1
- Cited by
- 0 commenters
AI & Machine LearningSoftware Engineering2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 17, 2025 | Claude can sometimes prove it by lairv | 219 | 69 |
