Sign up for Zulip
Proofs and Prompts
https://proofsandprompts.zulipchat.com
A Zulip forum for discussing posts from the Proofs and Prompts blog https://proofsandprompts.com/, and AI and mathematics at large.
You need an invitation to join this organization.
OR
Already have an account? Log in