Info This post is auto-generated from RSS feed Hacker News. Source: Case study: Creative math – How AI fakes proofs