Kevin Buzzard personal blog
Human mathematicians are being outcounterexampled
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…
- Points
- 501
- HN comments
- 255
- Submissions
- 1
- Cited by
- 4 commenters
Math & AlgorithmsAI & Machine Learning2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 20, 2026 | Human mathematicians are being outcounterexampled by artninja1988 | 501 | 255 |
Cited in comments
Linked from 4 Hacker News comments by 4 different people, from Jul 2026 to Sep 2026.
Most recent:
- ameliaquining · Sep 8, 2026
- pfdietz · Jul 30, 2026
- wrsh07 · Jul 23, 2026
- kkylin · Jul 20, 2026
