gwern comments on Alexander Gietelink Oldenziel’s Shortform

[gwern]

How did you check Claude’s claims here?

[Alexander Gietelink Oldenziel]

I spotcheked the first claim about eratosthenes.

The second part on eratothenes is directly from wikipedia.