Timothy Gowers personal blog
An automatic theorem proving project
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three y…
- Points
- 163
- HN comments
- 76
- Submissions
- 1
- Cited by
- 0 commenters
AI & Machine LearningMath & Algorithms2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 28, 2022 | An automatic theorem proving project by ColinWright | 163 | 76 |
