If math is more than proof, we need to better celebrate the rest of it

Automated excerpt

In a motivated explanation, definitions sit in the middle. What would it look like for these open exposition problems to be treated similarly to open research problems? At the moment, every AI-generated proof is born an unsolved exposition problem.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.