mastodon — Proofs and Prompts — 16 Sep 2026
Proofs and Prompts is a community blog about Math and AI. Since we started it a month ago, 42 blogposts have appeared, c…
#mathematical-research #math-and-ai #community-blog
Proofs and Prompts is a community blog about Math and AI. Since we started it a month ago, 42 blogposts have appeared, covering many aspects of math and AI. You can follow this mathstodon account to get notified when there are new posts. We also wrote a post about our experiences running the blog: https:// proofsandprompts.com/2026/09/1 6/one-month-of-proofs-and-prompts/ # introduction # proofsand…