#ai4math

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/16/one-month-of-proofs-and-prompts/ #introduction#proofsandprompts#ai4math

The Ramanujan challenge for AI. ~ Michael Shalyt, Rotem Kalisch, Carsten Schneider, Hila Barkan, Elyasheev Leibtag, John Campbell, Shachar Weinbaum, Tali Monderer, Ashvni Narayanan, Ido Kaminer. https://arxiv.org/abs/2607.09721v1 #AI4Math