A proof of Erdos Problem 691, reviewed until it holds
Claude reviews drafts of a proof for Erdos Problem 691 on density of multiples, catches a real logical gap, and judges whether outside critiques are valid.
Claude★ Editor’s pick
#proof-verification
1 conversation with this tag.