P proofsandprompts.com A somewhat optimistic view of AI in mathematics 1 points bearseascape 1 month ago 0 comments