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 ...