Claude can sometimes prove it | Not Hacker News!