A pretty fantastic sociocultural slice around the AI x math Lean drop.
Many of us are grappling with OpenAI’s announcement on 6 October. We feel that it is useful to have a snapshot of the community’s gut feeling today, and this is what you see below. We will keep it open for another week, and you are welcome to send us further short reactions. To make sure it is clear that we are all in this together, each reaction is signed only by name, without reference to affiliation or career stage. You’ll find all types of reactions: general reflections as well as problem-specific comments.