Case study: Creative math – How AI fakes proofs(tomaszmachnik.pl)112 points by musculus 9 months ago | 74 comments