A somewhat optimistic view of AI in mathematics proofsandprompts.com 1 point by bearseascape 22 minutes ago