T tomaszmachnik.pl Case study: Creative math – How AI fakes proofs 122 points musculus 9 months ago 97 comments
