Proofs, Prompts and Posts

[This is a guest post by the editors of the communal blog Proofs and Prompts. This blog post was initially written in a different file format and converted using AI. — T.] In the mathematical community, AI became a central conversation topic months before we started our communal blog, called Proofs and Prompts. Some of us were already experimenting with it, whereas some of us were skeptically watching from the sidelines. Inevitably, we all had our moment of realisation: be it Navier–Stokes, the 10 open problems, the unit distance conjecture, or successfully counting how many Rs are in strawberry (apparently it’s 3). It was evident that everyone had thoughts about AI in mathematics, and many were not afraid of voicing strong opinions. We felt these conversations remained limited in their reach, though, as most mathematicians do not have a natural platform. We remember reading many established mathematicians lamenting the fate of PhD students at the beginning of August, but we were…