A Zulip forum for discussing posts from the Proofs and Prompts blog https://proofsandprompts.com/, and AI and mathematics at large.