Claude can sometimes prove it | Dark Hacker News