What if you Wanted to formalize a set theoretic Erdos problem But Claude said
16
2
186
12,949
Replying to @ElliotGlazer
We have to protect Knuth

Aug 16, 2026 · 11:03 PM UTC
1
11
350
Sort replies: Relevant Recent Liked